Formal specification of the MPI-2.0 standard in TLA+
Abstract
No abstract available.
Related papers
- TLA+ model checking made symbolic OOPSLA 2019
- The Temporal Logic of Actions TOPLAS 1994
- Symbolic Model Checking for TLA+ Made Faster TACAS 2023
- Abstract Animator for Temporal Specifications: Application to TLA SAS 1999
- The pilot library for novice MPI programmers PPoPP 2010
- Verification of MPI Java programs using software model checking PPoPP 2016
- Formal verification of a distributed dynamic reconfiguration protocol CPP 2022
- TraceLinking Implementations with Their Verified Designs OOPSLA 2025