✦ LIBER ✦

[Lecture Notes in Computer Science] FM 2011: Formal Methods Volume 6664 || Sampling-Based Runtime Verification

✍ Scribed by Butler, Michael; Schulte, Wolfram

Book ID: 121018460
Publisher: Springer Berlin Heidelberg
Year: 2011
Weight: 481 KB
Category: Article
ISBN: 3642214371
DOI: 10.1007/978-3-642-21437-0_9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] FM 2

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

✍ Butler, Michael; Schulte, Wolfram 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 249 KB

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Runtime Verification of Component-Based Systems

✍ Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 383 KB

[Lecture Notes in Computer Science] FM 2

[Lecture Notes in Computer Science] FM 2009: Formal Methods Volume 5850 || Industrial Practice in Formal Methods: A Review

✍ Cavalcanti, Ana; Dams, Dennis R. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 91 KB

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