20:33
Basics of specification and verification: Lecture 3, the Dutch National Flag algorithm
21:14
Basics of specification and verification: Lecture 2, binary search
20:56
Basics of specification and verification: Lecture 1, loop invariants
19:08
Basics of specification and verification: Lecture 0, Pre- and postconditions
44:04
Writing inductive proofs about programs that operate on trees
38:25
Modeling, refinement, and verification
33:34
Using ghost variables and lemmas in a program verification
15:10
Partial solutions, and comprehensions
21:04
Concurrent programming in Chalice
22:14
Stepwise refinement
21:27
Loop termination
14:33
Specifications in Action - The Chunker
21:46
Loop invariants
X
About
Tags