๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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

โœ Scribed by Johnsen, Einar Broch; Petre, Luigia

Book ID
124171061
Publisher
Springer Berlin Heidelberg
Year
2013
Tongue
English
Weight
297 KB
Edition
1
Category
Article
ISBN
364238613X

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 || 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 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] Form
[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design Volume 1522 || Model Checking VHDL with CV
โœ Gopalakrishnan, Ganesh; Windley, Phillip ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 224 KB

This Volumecontains The Proceedingsof The Second Internationalconferenceon Formal Methods In Computer-aided Design (fmcadโ€™98), Organized November 4-6, In Palo Alto, California, Usa. The Rst Event Of This Series Was Organized Bymandayamsrivasand Albert Camilleriin 1996 Inpaloalto. Fmcad,which Evolved