Verifying General Safety and Liveness Propterties with Integer Programming
Abstract elided by the publisher.
Related papers
- Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions POPL 2024
- Verifying Liveness Properties by Verifying Safety Properties CAV 1990
- Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits CAV 1991
- Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results TOPLAS 1999
- LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols PLDI 2025
- Reducing liveness to safety in first-order logic POPL 2018
- Liveness Proofs for Hardware Model Checking CAV 2026
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms POPL 2017