✦ LIBER ✦

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

✍ Scribed by Johnsen, Einar Broch; Petre, Luigia

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

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 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] Form

[Lecture Notes in Computer Science] Formal Methods and Hybrid Real-Time Systems Volume 4700 || From “Formal Methods” to System Modeling

✍ Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 297 KB

Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.). Papers Presented At A Symposium Held In Macao, China, Sept. 24-25, 2007 During The Course Of The International Colloquium On Theoretical Aspects Of Computing. Includes Bibliographical References And Index. Also Issued Online

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 || A First Attempt to Express KAOS Refinement Patterns with Event B

✍ Börger, Egon; Butler, Michael; Bowen, Jonathan P.; Boca, Paul 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 57 KB

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and