- Automated Deductive Verification
- Automated Theorem Proving
- Temporal Logic
- Model Checking
- Predicate Abstraction
Course structure
- 7 two-hour lectures
- 7 two-hour tutorial sessions
- 6 homework assignments, peer-reviewed at the tutorial sessions
- 2 laboratory assignments
- 1 final takehome exam, defended orally
Course literature
Parts of the book Michael Huth, Mark Ryan: Logic in Computer Science, and various papers.