✦ LIBER ✦

Bounded Model Checking with Parametric Data Structures

✍ Scribed by Erika Ábrahám; Marc Herbstritt; Bernd Becker; Martin Steffen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking of distributed systems wi

✍ N. O. Garanina 📂 Article 📅 2011 🏛 Allerton Press Inc 🌐 English ⚖ 139 KB

Bounded Model Checking with SNF, Alterna

✍ Daniel Sheridan 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 339 KB

Process Calculus with Data Structure and

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

Model checking for parametric regression

✍ Guo, Xu; Xu, Wangli; Zhu, Lixing 📂 Article 📅 2014 🏛 Springer Japan 🌐 English ⚖ 382 KB

Statistical probabilistic model checking

✍ Håkan L.S. Younes; Reid G. Simmons 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 606 KB

Model checking LTL properties over ANSI-

✍ Morse, Jeremy; Cordeiro, Lucas; Nicole, Denis; Fischer, Bernd 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 967 KB