✦ LIBER ✦

Constraint-Based Verification of Parameterized Cache Coherence Protocols

✍ Scribed by Giorgio Delzanno

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of the Futurebus+ cache coh

✍ Edmund M. Clarke; Orna Grumberg; Hiromi Hiraishi; Somesh Jha; David E. Long; Ken 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 960 KB

Verification of Cache Coherence Protocol

✍ S. Park; D. L. Dill 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 157 KB

Design and formal verification of a hier

✍ Hemangee K. Kapoor, Praveen Kanakala, Malti Verma… 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 884 KB

A lock-based cache coherence protocol fo

✍ Weiwu Hu; Weisong Shi; Zhimin Tang; Ming Li 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 978 KB

Analytical prediction of performance for

✍ Srbljic, S.; Vranesic, Z.G.; Stumm, M.; Budin, L. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 552 KB

[Lecture Notes in Computer Science] Corr

✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 458 KB