✦ LIBER ✦

UML Automatic Verification Tool with Formal Methods

✍ Scribed by M. Encarnación Beato; Manuel Barrio-Solórzano; Carlos E. Cuesta; Pablo de la Fuente

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

✍ Boiten, Eerke A.; Derrick, John; Smith, Graeme 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 221 KB

Formal automatic verification of cache c

✍ Fong Pong; Dubois, M. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 409 KB

[Lecture Notes in Computer Science] Form

✍ Aichernig, Bernhard K.; Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 545 KB

Improving the Trustworthiness of Medical

✍ Li, Chunxiao; Raghunathan, Anand; Jha, Niraj K. 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 636 KB

Integrating a formal method into a softw

✍ Michael Möller; Ernst-Rüdiger Olderog; Holger Rasch; Heike Wehrheim 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 826 KB

[IEEE 2008 Formal Methods in Computer-Ai

✍ Smith, Eric; Dill, David L. 📂 Article 📅 2008 🏛 IEEE ⚖ 287 KB