Abstraction for Liveness
Abstract elided by the publisher.
Related papers
- Liveness with (0, 1, infty)-Counter Abstraction CAV 2002
- Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations CAV 2016
- Liveness of Communicating Transactions (Extended Abstract) APLAS 2010
- TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs TOPLAS 2021
- Toward Liveness Proofs at Scale CAV 2024
- Live-Structure Dataflow Analysis for Prolog TOPLAS 1994
- HyperLasso: Bounded Model Checking of ∀+∃>+-Liveness Hyperproperties CAV 2026
- Liveness Proofs for Hardware Model Checking CAV 2026