✦ LIBER ✦

Model-Checking View-Based Partial Specifications

✍ Scribed by Michael Huth; Shekhar Pradhan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards model checking executable UML sp

✍ Helle Hvid Hansen; Jeroen Ketema; Bas Luttik; MohammadReza Mousavi; Jaco van de 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 466 KB

Sequential and Distributed Model Checkin

✍ Alexander Bell; Boudewijn R. Haverkort 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 285 KB

Toward Automation for Model-Checking Req

✍ Yunja Choi; Sanjai Rayadurgam; Mats P.E. Heimdahl 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 392 KB

Constraint-based deductive model checkin

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

Partial model checking of modal equation

✍ Henrik Reif Andersen; Jorn Lind-Nielsen 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 344 KB

Model checking for action-based logics

✍ Alessandro Fantechi; Stefania Gnesi; Gioia Ristori 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 813 KB