Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic
No abstract available.
Related papers
- Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols TOPLAS 1996
- Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing POPL 2024
- Modular Deductive Verification of Multiprocessor Hardware Designs CAV 2015
- Probabilistic relational verification for cryptographic implementations POPL 2014
- A relational logic for higher-order programs ICFP 2017
- A relational logic for higher-order programs JFP 2019
- Compositional optimizations for CertiCoq ICFP 2021
- Semantic Logical Relations for Timed Message-Passing Protocols POPL 2025