SpecSharp

4 Entries

  • Language(s)
  • The Verification Corner - Specifications in Action with Spec#
    14 minutes, 32 seconds
  • This Week C9: Win7 API's, Spec# and Boogie, Expression 3 Starter Kits
    25 minutes, 41 seconds
  • Mike Barnett - Getting started with Code Contracts in Visual Studio 2008
    23 minutes, 18 seconds
  • Expert to Expert: Contract Oriented Programming and Spec#
    1 hour, 15 minutes, 0 seconds