| TLA2B – A New Validation Tool for TLA+ | Dominik Hansen, Michael Leuschel | pdf | |
| Current State of Distributed TLC | Markus A. Kuppe | pdf | |
| Harnessing SMT Solvers for TLA+ Proofs | Stephan Merz, Hernán Vanzetto | pdf | |
| Experience of Software Engineers Using TLA+, PlusCal and TLC | Chris Newcombe | pdf | |
| Formal Verification of Pastry Using TLA+ | Tianxiang Lu, Stephan Merz, Christoph Weidenbach | pdf | |
| Inserting Intentional Bugs for Model Checking Assurance | Thomas L. Rodeheffer, Ramakrishna Kotla | pdf | pdf |
| Automated Generation of Refinement Mappings | Paul-David Brodmann, Hannes Lau, Uwe Nestmann | | |
| Teaching Transition Systems and Formal Specifications with TLA+ | Philippe Mauran, Philippe Quéinnec, Xavier Thirioux | pdf | pdf |
| Integrating Formal Methods into Computer Science Curricula at a University of Applied Sciences | Paul Tavolato, Friedrich Vogt | pdf | pdf |