[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 || Solving Games Using Incremental Induction

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 || Formal Modelling and Verification of Population Protocols

✍ Johnsen, Einar Broch; Petre, Luigia 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 313 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 7940 || Priced Timed Automata and Statistical Model Checking

✍ Johnsen, Einar Broch; Petre, Luigia 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 137 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 2335 || Model Driven Engineering

✍ Butler, Michael; Petre, Luigia; Sere, Kaisa 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 135 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 || From Z to B and then Event-B: Assigning Proofs to Meaningful Programs

✍ Johnsen, Einar Broch; Petre, Luigia 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 177 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

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2999 || UML to B: Formal Verification of Object-Oriented Models

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