Semantics and Verification

Course chapters

1. Introduction
2. Transition Systems
3. Linear-Time Properties
4. Topological Approach
5. Partial Orders and Complete Lattices
6. Observable Properties
7. Linear Temporal Logic
8. Towards Stone Duality
9. Büchi's Theorem
10. Bisimulation
11. On Modal Logics of Transition Systems