Algorithmic Verification of Invalidation-Based Protocols
Abstract elided by the publisher.
Related papers
- Lifestate: Event-Driven Protocols and Callback Control Flow ECOOP 2019
- The Interaction of Parallel Programming Constructs and Coherence Protocols PPoPP 1997
- Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols TOPLAS 1996
- Message-Passing Algorithms for the Verification of Distributed Protocols VMCAI 2014
- Program verification as probabilistic inference POPL 2007
- A verified protocol buffer compiler CPP 2019
- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics CAV 2019
- Temporal Verification of Carrier-Sense Local Area Network Protocols POPL 1984