Derek Bridge

CS6320: Formal Methods for Distributed Systems

Lecture number Lecture description Lecture resources
1 Introduction to correctness notes (pdf)
The Syntax of Propositional Logic notes (pdf)
2 The Semantics of Propositional Logic notes (pdf)
Propositional Logic Metatheoretic Definitions notes (pdf)
3 Formal Deduction notes (pdf)
Proof notes (pdf)
4 Program Specifications notes (pdf)
Floyd-Hoare Logic for Partial Correctness notes (pdf)
5 Floyd-Hoare Logic for Conditionals notes (pdf)
Invariants of Loops notes (pdf)
6 More Invariants notes (pdf)
Total Correctness notes (pdf)
Sample Mid-Term Exam sample mid-term exam (pdf)