verification corner

3 Entries

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