✦ LIBER ✦

Model checking of distributed systems with affine data structures

✍ Scribed by N. O. Garanina

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bounded Model Checking with Parametric D

✍ Erika Ábrahám; Marc Herbstritt; Bernd Becker; Martin Steffen 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 375 KB

Model checking MASL specification of dis

✍ D. Yu. Bugaichenko 📂 Article 📅 2007 🏛 Allerton Press, Inc. 🌐 English ⚖ 238 KB

Compact Data Structures and State-Space

✍ Kim G. Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 407 KB

Process Calculus with Data Structure and

✍ Qing Zheng; Zi-Ning Cao 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 235 KB

Model checking for general linear error-

✍ Pengjie Dai; Zhihua Sun; Peng Wang 📂 Article 📅 2010 🏛 Academy of Mathematics and Systems Science, Chines 🌐 English ⚖ 209 KB

Verifying distributed real-time properti

✍ Gabor Madl; Sherif Abdelwahed; Douglas C. Schmidt 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 863 KB