✦ LIBER ✦

Verification of the Futurebus+ cache coherence protocol

✍ Scribed by Edmund M. Clarke; Orna Grumberg; Hiromi Hiraishi; Somesh Jha; David E. Long; Kenneth L. McMillan; Linda A. Ness

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

IEEE futurebus cache coherence protocol

✍ Peter Robinson 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 589 KB

Verifying a Network Invariant for All Co

✍ Marcel Kyas 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 298 KB

Verification of Cache Coherence Protocol

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

Evaluation of a Competitive-Update Cache

✍ Håkan Grahn; Per Stenström 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 384 KB

Refinement verification of the lazy cach

✍ Wim H. Hesselink 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 323 KB

A methodology for early validation of ca

✍ Mahadevan Subramaniam; Patrick Conway 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 193 KB