Model-Checking SS 2015

News | Basic information | Content | Exercises | Slides | Links

Lectures are accompanied by a weekly exercise lesson.

Exercise Sheets

• 21 Apr. 2015 : Exercise sheet #1 [PDF] Some useful links: Spin README Spin references Modex
• 22 Apr. 2015 : Exercise sheet #2 [PDF] [Solution] On LTL
• 30 Apr. 2015 : Exercise sheet #3 [PDF] [Solution] On Promela and Spin
• 7 May 2015 12 May 2015 : Exercise sheet #4 [PDF] [Solution] More on LTL Prepare carefully Exercise 4.1, as no detailled solution will be given
• 21 May 2015 : Exercise sheet #6 [PDF] [Solution] More on Promela
• 28 May 2015 : Exercise sheet #5.1 [PDF] [Solution] LTL to Büchi translation
• 3 Jun. 2015: Exercise sheet #7 [PDF] [Solution] About partial order reduction
• 11 Jun. 2015: Exercise sheet #8 [PDF] [Solution] About CTL*
• 18 Jun. 2015: Exercise sheet #9 [PDF] [Solution] About muSMV
• 25 Jun. 2015: Exercise sheet #10 [PDF] [Solution (in DDcal format)] About BDD's
• 2 Jul. 2015: Exercise sheet #11 [PDF] [Solution] About abstraction, simulation and bisimulation
• 9 Jul. 2015: Exercise sheet #12 [PDF] About abstraction and PDS
• 16 Jul. 2015: Exercise sheet #13 [PDF] [Solution (in Moped format)] About PDS