Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols
Authors: Joonwon Choi, Adam Chlipala and Arvind
Paper Information
| Title: | Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols |
| Authors: | Joonwon Choi, Adam Chlipala and Arvind |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | formal verification, hardware, cache coherence, domain-specific language, proof assistants, Coq |
| Pages: | 21 |
| Talk: | Aug 09 15:40 (Session 104A: Deductive Verification and Decision Procedures) |
| Paper: |  |