Project

Hemiola: Structural Design and Proof of Cache-Coherence Protocols

A Coq framework for structural design and proof of hierarchical cache-coherence protocols