Liveness and Acceleration in Parameterized Verification
Abstract elided by the publisher.
Related papers
- Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness VMCAI 2002
- Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions POPL 2024
- Fair Termination for Parameterized Probabilistic Concurrent Systems TACAS 2017
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Regular Abstractions for Array Systems POPL 2024
- Beyond Parameterized Verification TACAS 2002
- Automatic Verification of Parameterized Cache Coherence Protocols CAV 2000
- Automated Inductive Verification of Parameterized Protocols CAV 2001