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

[Lecture Notes in Computer Science] FM 2011: Formal Methods Volume 6664 || Refinement-Based Verification of Local Synchronization Algorithms

โœ Scribed by Butler, Michael; Schulte, Wolfram

Book ID
120504907
Publisher
Springer Berlin Heidelberg
Year
2011
Weight
249 KB
Category
Article
ISBN
3642214371

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[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

[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