✦ LIBER ✦

Checking Cache-Coherence Protocols with TLA+

✍ Scribed by Rajeev Joshi; Leslie Lamport; John Matthews; Serdar Tasiran; Mark Tuttle; Yuan Yu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model Checking Data Consistency for Cach

✍ Hong Pan; Hui-Min Lin; Yi Lv 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 433 KB

Model checking a cache coherence protoco

✍ Jun Pang; Wan Fokkink; Rutger Hofman; Ronald Veldema 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 271 KB

Deriving Efficient Cache Coherence Proto

✍ Ratan Nalumasu; Ganesh Gopalakrishnan 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 124 KB

Cache vulnerability mitigation using an

✍ Maghsoudloo, Mohammad; Zarandi, Hamid R. 📂 Article 📅 2014 🏛 Springer US 🌐 English ⚖ 777 KB

Constraint-Based Verification of Paramet

✍ Giorgio Delzanno 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 301 KB

Analytical prediction of performance for

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