Lecture notes; research articles; selected material from:
- The Temporal Logic of Reactive and Concurrent Systems: Specification, by Amir Pnueli and Zohar Manna
- Temporal Verification of Reactive Systems: Safety, by Amir Pnueli and Zohar Manna
- Principles of Model Checking, by Christel Baier and Joost-Pieter Katoen
- Coloured Petri Nets: Modelling and Validation of Concurrent Systems, by Kurt Jensen and Lars Michael Kristensen
- The Spin Model Checker: Primer and Reference Manual, by Gerard J. Holzmann
Topics:
- First-order logic
- Dynamic logic
- Linear Temporal Logic (LTL)
- Runtime Verification
- Model Checking
- Automata-theoretic foundations
- The SPIN model checker
- Coloured Petri Nets
- CTL & ?-calculus