✦ LIBER ✦

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7871 || PyNuSMV: NuSMV as a Python Library

✍ Scribed by Brat, Guillaume; Rungta, Neha; Venet, Arnaud

Book ID: 120345438
Publisher: Springer Berlin Heidelberg
Year: 2013
Weight: 145 KB
Category: Article
ISBN: 3642380883
DOI: 10.1007/978-3-642-38088-4_33

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] NASA

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7226 || Inferring Definite Counterexamples through Under-Approximation

✍ Goodloe, Alwyn E.; Person, Suzette 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 296 KB

[Lecture Notes in Computer Science] NASA

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7226 || A Semantic Analysis of Wireless Network Security Protocols

✍ Goodloe, Alwyn E.; Person, Suzette 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 298 KB

[Lecture Notes in Computer Science] NASA

[Lecture Notes in Computer Science] NASA Formal Methods Volume 6617 || Symmetry for the Analysis of Dynamic Systems

✍ Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 289 KB

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and sele

[Lecture Notes in Computer Science] FM 2

[Lecture Notes in Computer Science] FM 2009: Formal Methods Volume 5850 || Industrial Practice in Formal Methods: A Review

✍ Cavalcanti, Ana; Dams, Dennis R. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 91 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 || Model-Checking Software Library API Usage Rules

✍ Johnsen, Einar Broch; Petre, Luigia 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 297 KB

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. T

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7321 || Model Checking as Static Analysis: Revisited

✍ Derrick, John; Gnesi, Stefania; Latella, Diego; Treharne, Helen 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 308 KB