✦ LIBER ✦

Automated formal verification of visual modeling languages by model checking

✍ Scribed by Dániel Varró

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification of a Railway Interlo

✍ A. Cimatti; F. Giunchiglia; G. Mongardi; D. Romano; F. Torielli; P. Traverso 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 130 KB

Formal Verification of a Partial-Order R

✍ Ching-Tsun Chou; Doron Peled 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 147 KB

Towards automation of colour/weave selec

✍ Kavita Mathur; Abdel-Fattah M Seyam; David Hinks; R Alan Donaldson 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 440 KB

Automated verification of responsive pro

✍ Yoshiaki Kakuda; Tohru Kikuno; Kenichi Kawashima 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 940 KB

Automatic verification of multi-agent sy

✍ Franco Raimondi; Alessio Lomuscio 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 234 KB

[Lecture Notes in Computer Science] 25 Y

✍ Grumberg, Orna; Veith, Helmut 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 216 KB