✦ LIBER ✦

Deductive Model Checking

✍ Scribed by Henny B. Sipma; Tomás E. Uribe; Zohar Manna

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constraint-based deductive model checkin

✍ Giorgio Delzanno; Andreas Podelski 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 392 KB

Checking functional consistency in deduc

✍ Erik Lambrichts; Peter Nees; Jan Paredaens; Peter Peelman; Letizia Tanca 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 556 KB

Model Checking

✍ Ralf Buschermöhle; Mark Brörkens; Ingo Brückner; Werner Damm; Wilhelm Hasselbrin 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 German ⚖ 403 KB

Model checking

✍ Madhavan Mukund 📂 Article 📅 2009 🏛 Indian Academy of Sciences 🌐 English ⚖ 373 KB

Models of Deduction*

✍ Kosta Dosen 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 277 KB

Model Checking Programs

✍ Willem Visser; Klaus Havelund; Guillaume Brat; SeungJoon Park; Flavio Lerda 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 202 KB