✦ LIBER ✦

CSL model checking algorithms for QBDs

✍ Scribed by Anne Remke; Boudewijn R. Haverkort; Lucia Cloth

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking conditional CSL for conti

✍ Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 264 KB

Symbolic model checking for self-stabili

✍ T. Tsuchiya; S. Nagano; R. Paidi; T. Kikuno 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 558 KB

An Incremental Algorithm to Check Satisf

✍ HoonSang Jin; Fabio Somenzi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 549 KB

Random Walk Based Heuristic Algorithms f

✍ Hemanthkumar Sivaraj; Ganesh Gopalakrishnan 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 135 KB

Designing fast LTL model checking algori

✍ Jiří Barnat; Petr Bauch; Luboš Brim; Milan Češka 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 758 KB

Direct Model Checking Matrix Algorithm

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