✦ LIBER ✦

An automated verification method for distributed systems software based on model extraction

✍ Scribed by Holzmann, G.J.; Smith, M.H.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards an authorisation model for distr

✍ Alcaraz Calero, J.M.; Martinez Perez, G.; Gomez Skarmeta, A.F. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 609 KB

An experiment on PC-based automated extr

✍ Sergio Bampi 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 437 KB

New criteria for detection of compulsive

✍ T. Tambuyzer; H.C. Wu; S. Cortebeeck; N. Cosemans; M. Loveniers; M. Verhaegen; D 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 869 KB

[IEEE 2012 IEEE Fifth International Conf

✍ Silva Filho, Roberto S.; Budnik, Christof J. 📂 Article 📅 2012 🏛 IEEE ⚖ 828 KB

Constructing quasi-invariant control sys

✍ Rustamov, G. A. 📂 Article 📅 2012 🏛 Allerton Press Inc 🌐 English ⚖ 285 KB

[IEEE Proceedings. IEEE Fifth Internatio

✍ Chiung-Hon Leon Lee, ; Alan Liu, ; Kwan-Yu Chen, 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 266 KB