✦ LIBER ✦

Model checking a cache coherence protocol of a Java DSM implementation

✍ Scribed by Jun Pang; Wan Fokkink; Rutger Hofman; Ronald Veldema

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

JaMP: an implementation of OpenMP for a

✍ Michael Klemm; Matthias Bezold; Ronald Veldema; Michael Philippsen 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 425 KB

Checking Java Implementation of a Naming

✍ Sarfraz Khurshid; Darko Marinov 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 344 KB

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

NONH: A new cache-based coherence protoc

✍ Zhiyi Fang; Jiubin Ju 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 791 KB

Evaluation of a Competitive-Update Cache

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

Verifying a Network Invariant for All Co

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