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.