✦ LIBER ✦

Trail-Directed Model Checking

✍ Scribed by Stefan Edelkamp; Alberto Lluch-Lafuente; Stefan Leue

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Partial-order reduction and trail improv

✍ Stefan Edelkamp; Stefan Leue; Alberto Lluch-Lafuente 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 443 KB

Directed model checking with distance-pr

✍ Klaus Dräger; Bernd Finkbeiner; Andreas Podelski 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 465 KB

Direct Model Checking Matrix Algorithm

✍ Zhi-Hong Tao; Hans Kleine Büning; Li-Fu Wang 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 324 KB

Directed explicit-state model checking i

✍ Stefan Edelkamp; Stefan Leue; Alberto Lluch-Lafuente 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 976 KB

Model Checking

✍ Ralf Buschermöhle; Mark Brörkens; Ingo Brückner; Werner Damm; Wilhelm Hasselbrin 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 German ⚖ 403 KB

A theoretical model for uni-directional

✍ Ozhan Kayacan 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 239 KB