software verification

3 posts

  • 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