Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement
Abstract elided by the publisher.
Related papers
- Distributive Disjoint Polymorphism for Compositional Programming ESOP 2019
- A Formally Verified Foundation for Compositional Heterogeneous Coherence PLDI 2026
- Lazy Self-composition for Security Verification CAV 2018
- SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols PLDI 2026
- A static analyzer for large safety-critical software PLDI 2003
- Kami: a platform for high-level parametric hardware specification and its modular verification ICFP 2017
- Compositional Specification and Verification of Distributed Systems TOPLAS 1994
- Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations TOPLAS 2014