✦ LIBER ✦

Direct Model Checking Matrix Algorithm

✍ Scribed by Zhi-Hong Tao; Hans Kleine Büning; Li-Fu Wang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Trail-Directed Model Checking

✍ Stefan Edelkamp; Alberto Lluch-Lafuente; Stefan Leue 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 299 KB

Directed model checking with distance-pr

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

Distributed Model Checking: From Abstrac

✍ Christophe Joubert 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 167 KB

A Direct Symbolic Approach to Model Chec

✍ Alain Finkel; Bernard Willems; Pierre Wolper 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 586 KB

Random Walk Based Heuristic Algorithms f

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

Matrix recursive interpolation algorithm

✍ K. Jbilou; A. Messaoudi 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 141 KB