✦ LIBER ✦

Towards model checking executable UML specifications in mCRL2

✍ Scribed by Helle Hvid Hansen; Jeroen Ketema; Bas Luttik; MohammadReza Mousavi; Jaco van de Pol

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generating heterogeneous executable spec

✍ P. Peñil; J. Medina; H. Posadas; E. Villar 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 260 KB

Seven at one stroke: LTL model checking

✍ Daniel Plagge; Michael Leuschel 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 405 KB