Lecture Notes#
There are also publications and lecture notes:
4-part course on the Basics of specification and verification of code:
Lecture 0: Pre- and postconditions (19:08)
Lecture 1: Invariants (20:56)
Lecture 2: Binary search (21:14)
Lecture 3: Dutch National Flag algorithm (20:33)
Overview article: Accessible Software Verification with Dafny, IEEE Software, Nov/Dec 2017
3-page tutorial notes with examples (ICSE 2013)
Videos at Verification Corner