TLA+ Community Event 2012

Paris, France (co-located with FM 2012)

TLA2B – A New Validation Tool for TLA+Dominik Hansen, Michael Leuschelpdf
Current State of Distributed TLCMarkus A. Kuppepdf
Harnessing SMT Solvers for TLA+ ProofsStephan Merz, Hernán Vanzettopdf
Experience of Software Engineers Using TLA+, PlusCal and TLCChris Newcombepdf
Formal Verification of Pastry Using TLA+Tianxiang Lu, Stephan Merz, Christoph Weidenbachpdf
Inserting Intentional Bugs for Model Checking AssuranceThomas L. Rodeheffer, Ramakrishna Kotlapdfpdf
Automated Generation of Refinement MappingsPaul-David Brodmann, Hannes Lau, Uwe Nestmann
Teaching Transition Systems and Formal Specifications with TLA+Philippe Mauran, Philippe Quéinnec, Xavier Thiriouxpdfpdf
Integrating Formal Methods into Computer Science Curricula at a University of Applied SciencesPaul Tavolato, Friedrich Vogtpdfpdf