software verification

3 Entries

  • Language(s)
  • 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