Verification

8 Entries

  • Language(s)
  • The Verification Corner - Stepwise Refinement
    22 minutes, 13 seconds
  • The Verification Corner - Loop Termination
    21 minutes, 26 seconds
  • The Verification Corner - Specifications in Action with Spec#
    14 minutes, 32 seconds
  • Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver
    15 minutes, 29 seconds
  • Francesco Logozzo - Static Checking with Code Contracts for .NET
    19 minutes, 9 seconds
  • Juan Chen and Nikhil Swamy: FINE, Functional Programming for End-to-End Security Verification
    15 minutes, 3 seconds
  • Mike Barnett - Getting started with Code Contracts in Visual Studio 2008
    23 minutes, 18 seconds
  • Michal Moskal - VCC, The Verifying C Compiler
    22 minutes, 4 seconds