Verification Videos and Posts

8 posts

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

  • This Week
  • This Month
  • All Time
  • Filter content by language
  • Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver
    15 minutes, 29 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
  • Francesco Logozzo - Static Checking with Code Contracts for .NET
    19 minutes, 9 seconds
  • The Verification Corner - Specifications in Action with Spec#
    14 minutes, 32 seconds
  • The Verification Corner - Stepwise Refinement
    22 minutes, 13 seconds
  • The Verification Corner - Loop Termination
    21 minutes, 26 seconds
  • Juan Chen and Nikhil Swamy: FINE, Functional Programming for End-to-End Security Verification
    15 minutes, 3 seconds