✦ LIBER ✦

Model Checking Programs

✍ Scribed by Willem Visser; Klaus Havelund; Guillaume Brat; SeungJoon Park; Flavio Lerda

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Heuristics for model checking Java progr

✍ Alex Groce; Willem Visser 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 535 KB

Verifying Multi-agent Programs by Model

✍ Rafael H. Bordini; Michael Fisher; Willem Visser; Michael Wooldridge 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 339 KB

Model checking JAVA programs using JAVA

✍ Klaus Havelund; Thomas Pressburger 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 253 KB

Model-checking multi-threaded distribute

✍ Scott D. Stoller 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 371 KB

Model Checking Erlang Programs – Abstrac

✍ Frank Huch 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 417 KB

Boolean and Cartesian abstraction for mo

✍ Thomas Ball; Andreas Podelski; Sriram K. Rajamani 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 215 KB