Model Checking Reading Club

The Model Checking Reading Club is an informal meeting of people reading relevant books and articles about model checking, probabilistic systems and other topics related to formal methods.

Schedule for 2010-2011

• September 22, 2010: Frits Vaandrager (The Daikon system for dynamic detection of likely invariants by Ernst, Perkins, Guo, McCamant, Pacheco, Tschantz, and Xiao)
• September 29, 2010: Faranak Heidarian (MCMT in the Land of Parametrized Timed Automata, by Carioni & Ghilardi)
• October 6, 2010: Martijn Hendriks (System architecture evaluation using modular performance analysis: a case study, by Wandeler, Thiele, Verhoef, Lieverse)(absent David Jansen)
• October 13, 2010: Georgeta Igna (Robust Safety of Timed Automata, by de Wulf, Doyen, Markey, and Raskin - Sections 1,2, and 3)
• October 20, 2010 - November 3, 2010: No meeting
• November 11, 2010: Freek Verbeek (D-Finder: A tool for Compositional Deadlock Detection

and Verification by Bensalem et al.)

• November 18, 2010: no meeting
• November 25, 2010: Petur Olsen (Model Checking with Lattices http://www.cs.aau.dk/~petur/tacas11.pdf)

N.B. For a good organization, please add here the dates when you cannot attend the reading club

Schedule for 2009-2010

• 26 November 2009: Abstraction. Faranak Heidarian leads the discussion, but everybody is supposed to read the article selected by Faranak.

• 3 December 2009: Abstraction, continued.

Schedule for 2008-2009

During meetings, we often base our discussions on slides used by Joost-Pieter Katoen in his courses Introduction to Model Checking and Advanced Model Checking.

• 2 September 2008: Chapters 1+2, presentation by Frits Vaandrager
• 9 September 2008: Chapter 3, presentation by Jasper Berendsen
• 16 September 2008: no meeting
• 23 September 2008: Chapter 3 (continued)
• 30 September 2008: Chapter 4.1–4.2, presentation by David N. Jansen
• 7 October 2008: Chapter 4.3–4.4, presentation by David N. Jansen
• 14 October 2008: no meeting
• 21 October 2008: Chapter 5, presentation by Faranak Heidarian
• 28 October 2008, 09:00–10:00: Chapter 5 (continued)
• 4 November 2008, 09:00–10:00: Chapter 5 (end), exercises 5.2, 5.7 and 5.11
• 11 November 2008, 09:00–10:00: Chapter 6 (start), presentation by Georgeta Igna
• 18 November 2008, 09:00–10:00
• 25 November 2008, 09:00–10:00
• 2 December 2008: 09:00–10:00
• 9 December 2008: 09:00–10:00: Chapter 6.5
• 16 December 2008: 09:00–10:00: the planned meeting did not take place because David Jansen was ill.
• 23 December 2008: no meeting
• 6 January 2009: no meeting
• 13 January 2009: 09:00–10:00: Chapters 6.6+(part of) 6.7, presentation by David Jansen
• 20 January 2009: 09:00–10:00: Chapter 6.7 (continued)
• 27 January 2009: 09:00–10:00: We will do some exercises for Chapter 6. Please prepare exercises 6.2, 6.9, and (6.10 or 6.11).
• February 2009: Chapter 7 presented by Julien Schmaltz and Frits Vaandrager
• 4 June 2009: 09:00-10:00: Section 8.2.1 Ample Set Constraints presented by Freek Verbeek
• 8 June 2009: 11:00-12:00: Sections 8.2.2 and 8.2.3. presentation by Freek Verbeek
• 15 October 2009: 13:30–14:30: Section 10.1. presentation by David N. Jansen
• 23 October 2009: 11:00–12:00: Section 10.1, continued. presentation by Jasper Berendsen

• 29 October 2009: 14:00-15:00, Section 10.3. This will be the last session about this book.

Participants

Members

• Fides Aarts
• Faranak Heidarian
• Martijn Hendriks
• Georgeta Igna
• David N. Jansen
• Pieter Koopman
• Julien Schmaltz
• Jan Tretmans
• Frits Vaandrager
• Freek Verbeek

Alumni

• Jasper Berendsen

• Tim Leonard also contributed to the list of typos and comments.

The meetings take place in room HG02.645.