The TLA+ Community Event serves as a forum where practitioners and researchers interested in the use and further development of the TLA+ specification language and its tools meet and discuss.
Andrew Samokish will give a presentation the Tuesday, September 10, 2024 at TLA+ Community Event 2024 at Milano, Italy (4.20 pm) on a model-based approach for the formal verification of specification: architect