A Top Down Approach to the Formal Specification of SCI Cache Coherence
Abstract elided by the publisher.
Related papers
- Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip TACAS 2015
- Towards Composable Proofs of Cache Coherence Protocols CPP 2026
- Incremental Computation via Function Caching POPL 1989
- Lock elision for read-only critical sections in Java PLDI 2010
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee TOPLAS 2021
- Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles PLDI 2026
- Automatic Verification of Parameterized Cache Coherence Protocols CAV 2000