verification corner Videos and Posts

3 posts

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

  • Filter content by language
  • The Verification Corner - Loop Termination
    21 minutes, 26 seconds
  • The Verification Corner - Specifications in Action with Spec#
    14 minutes, 32 seconds
  • The Verification Corner: Loop Invariants
    21 minutes, 45 seconds