✦ LIBER ✦

Software model checking without source code

✍ Scribed by Sagar Chaki; James Ivers

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking C source code for embedde

✍ Bastian Schlich; Stefan Kowalewski 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 803 KB

Model driven code checking

✍ Gerard J. Holzmann; Rajeev Joshi; Alex Groce 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 275 KB

Transactions for Software Model Checking

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

Symbolic Model Checking of Software

✍ Flavio Lerda; Nishant Sinha; Michael Theobald 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 978 KB

Custom software source code ownership an

✍ Graham P. Smith Partner; Clifford Chance London 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 261 KB

Space-Reduction Strategies for Model Che

✍ Robby; Matthew B. Dwyer; John Hatcliff; Radu Iosif 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 277 KB