✦ LIBER ✦

Symbolic Model Checking of Software

✍ Scribed by Flavio Lerda; Nishant Sinha; Michael Theobald

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An industrial application of symbolic mo

✍ Kammüller, Florian ;Preibusch, Sören 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 German ⚖ 374 KB

Transactions for Software Model Checking

✍ Cormac Flanagan; Shaz Qadeer 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 214 KB

Scalable distributed on-the-fly symbolic

✍ Shoham Ben-David; Orna Grumberg; Tamir Heyman; Assaf Schuster 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 324 KB

Counter-example generation in symbolic a

✍ Gordon Pace; Nicolas Halbwachs; Pascal Raymond 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 199 KB

Software model checking without source c

✍ Sagar Chaki; James Ivers 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 550 KB

Probabilistic symbolic model checking wi

✍ Marta Kwiatkowska; Gethin Norman; David Parker 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 405 KB