Important dates

submission: May 20
notification: June 17
final version: July 8
workshop: August 27

Contact

tla2012@loria.fr

08:00-09:00
Registration and continental breakfast
09:00-10:30
Session 1: TLA+ Tools
09:00 Dominik Hansen, Michael Leuschel: TLA2B – A New Validation Tool for TLA+ slides
09:30 Markus A. Kuppe: Current State of Distributed TLC slides
10:00 Stephan Merz, Hernán Vanzetto: Harnessing SMT Solvers for TLA+ Proofs slides
10:30-11:00
Coffee Break
11:00-12:30
Session 2: Experience Using TLA+
11:00 Chris Newcombe: Experience of Software Engineers Using TLA+, PlusCal and TLC slides
11:30 Tianxiang Lu, Stephan Merz, Christoph Weidenbach: Formal Verification of Pastry Using TLA+ slides
12:00 Thomas L. Rodeheffer, Ramakrishna Kotla: Inserting Intentional Bugs for Model Checking Assurance paperslides
12:30-14:00
Lunch
14:00-15:30
Session 3: Theory and Teaching
14:00 Paul-David Brodmann, Hannes Lau, Uwe Nestmann: Automated Generation of Refinement Mappings
14:30 Philippe Mauran, Philippe Quéinnec, Xavier Thirioux: Teaching Transition Systems and Formal Specifications with TLA+ paperslides
15:00 Paul Tavolato, Friedrich Vogt: Integrating Formal Methods into Computer Science Curricula at a University of Applied Sciences paper slides
15:30-16:00
Coffee Break
16:00-17:00
Discussion: Current and Future State of TLA+

Download extended abstracts of all contributions: pdf