Abstract Animator for Temporal Specifications: Application to TLA
Abstract elided by the publisher.
Related papers
- The Temporal Logic of Actions TOPLAS 1994
- Formal specification of the MPI-2.0 standard in TLA+ PPoPP 2008
- An Old-Fashined Recipe for Real-Time TOPLAS 1994
- The TLA+ Model Checker Apalache CAV 2026
- Symbolic Model Checking for TLA+ Made Faster TACAS 2023
- TLA+ model checking made symbolic OOPSLA 2019
- Composite Multimedia and Active Objects OOPSLA 1991
- JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP TACAS 2005