✦ LIBER ✦

A model advisor for NuSMV specifications

✍ Scribed by Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

NUSMV: a new symbolic model checker

✍ Alessandro Cimatti; Edmund Clarke; Fausto Giunchiglia; Marco Roveri 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 355 KB

A model title page for patent specificat

✍ Ad.J.G. van Kuijk; Martin A. Lobeck 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 846 KB

A model title page for patent specificat

📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 135 KB

A reference model for requirements and s

✍ Gunter, C.A.; Gunter, E.L.; Jackson, M.; Zave, P. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 701 KB

A Decision Model for Insurance Advisors:

✍ Razak, Siti Fatimah Abdul; Tan, Shing Chiang; Lim, Way-Soong 📂 Article 📅 2013 🏛 Elsevier ⚖ 386 KB

A formal model for analyzing the SCR-sty

✍ Xu Yu; Wu Guoqing; Liu Xiang; Chen Xinmeng 📂 Article 📅 1998 🏛 Wuhan University 🌐 English ⚖ 56 KB