✦ LIBER ✦

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

✍ Scribed by Johnsen, Einar Broch; Petre, Luigia

Book ID: 121346978
Publisher: Springer Berlin Heidelberg
Year: 2013
Tongue: English
Weight: 313 KB
Edition: 1
Category: Article
ISBN: 364238613X
DOI: 10.1007/978-3-642-38613-8_15

No coin nor oath required. For personal study only.

✦ Synopsis

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. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

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

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

[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

[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

[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] Corr

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 3725 || Formal Verification of Synchronizers

✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 141 KB

[Lecture Notes in Computer Science] Corr

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 3725 || Formal Verification of Synchronizers

✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 141 KB

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbr?cken, Germany, in October 2005. The 21 revised full papers and 18 short papers presented together with 2 invi