Mechanical Verification of Concurrent Systems with TLA
No abstract available.
DOI 10.1007/3-540-56496-9_5
Related papers
- The Temporal Logic of Actions TOPLAS 1994
- Formal verification of a distributed dynamic reconfiguration protocol CPP 2022
- TLA+ model checking made symbolic OOPSLA 2019
- The TLA+ Model Checker Apalache CAV 2026
- Symbolic Model Checking for TLA+ Made Faster TACAS 2023
- An Old-Fashined Recipe for Real-Time TOPLAS 1994
- Mechanized verification of fine-grained concurrent programs PLDI 2015
- Abstract Animator for Temporal Specifications: Application to TLA SAS 1999