software verification Videos and Posts

3 posts

Channel 9 publishes software verification videos and information for you to improve your knowledge and skills. This page provides a listing of content tagged with software verification to see the most up-to-date information provided by the experts building Microsoft products & services

  • Filter content by language
  • ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
    17 minutes, 49 seconds
  • ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History
    36 minutes, 6 seconds
  • EMIC - Software Verification
    29 minutes, 49 seconds