Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols
Abstract elided by the publisher.
Related papers
- Automatic Verification of Parameterized Cache Coherence Protocols CAV 2000
- Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness VMCAI 2002
- Modular Deductive Verification of Multiprocessor Hardware Designs CAV 2015
- Mechanizing the CMP Abstraction for Parameterized Verification OOPSLA 2024
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- Towards Composable Proofs of Cache Coherence Protocols CPP 2026
- An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP TACAS 2017
- Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols TOPLAS 1996