You will find here the Exercise Sessions of the Basics of Verification course dispensed for M1 students at ENS Paris-Saclay.
- Exercise session 1 : Temporal logics. [ correction ]
- Exercise session 2 : Expressivity of LTL. [ correction ]
- Exercise session 3 : Büchi Automata. [ correction ]
- Exercise session 4 : Büchi Automata & CTL. [ correction ]
- Exercise session 5 : Bisimulation & CTL.