Liveness with Invisible Ranking
Abstract elided by the publisher.
Related papers
- Liveness with Incomprehensible Ranking TACAS 2004
- Implicit Rankings for Verifying Liveness Properties in First-Order Logic TACAS 2025
- Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions POPL 2024
- Toward Liveness Proofs at Scale CAV 2024
- Saving Space by Fully Exploiting Invisible Transitions CAV 1996
- Invisible Invariants and Abstract Interpretation SAS 2011
- Automatic Deductive Verification with Invisible Invariants TACAS 2001
- IIV: An Invisible Invariant Verifier CAV 2005