Table of Contents
Temporal Logics and Model Checking
Lecturer: 王凡 Farn Wang
Syllabus
- LTL
- CTL, CTL*
- Expressivenss
- LTL satisfiability: tableau-based techniques
- CTL model-checking
- Simulation-checking
- ATL and game graphs
- ATL model-checking
Course Materials
- Temporal Logics & Model Checking [slides]