A Tool for Proving Invariance Properties of Concurrent Systems Automatically
No abstract available.
Related papers
- Proving the Safety of Highly-Available Distributed Objects ESOP 2020
- Synthesis of Resource Invariants for Concurrent Programs TOPLAS 1980
- Proving Liveness Properties of Concurrent Programs TOPLAS 1982
- Synthesis of Resource Invariants for Concurrent Programs POPL 1979
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- Mora - Automatic Generation of Moment-Based Invariants TACAS 2020
- Proving that programs eventually do something good POPL 2007
- Proving Lock-Freedom Easily and Automatically CPP 2015