Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness
Abstract elided by the publisher.
Related papers
- Automatic Verification of Parameterized Cache Coherence Protocols CAV 2000
- Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols TACAS 2003
- Mechanizing the CMP Abstraction for Parameterized Verification OOPSLA 2024
- Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions POPL 2024
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- Automatic Completion of Distributed Protocols with Symmetry CAV 2015
- Towards Composable Proofs of Cache Coherence Protocols CPP 2026
- Modular Deductive Verification of Multiprocessor Hardware Designs CAV 2015