✦ LIBER ✦

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 2937 || Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking

✍ Scribed by Steffen, Bernhard; Levi, Giorgio

Book ID: 120450691
Publisher: Springer Berlin Heidelberg
Year: 2004
Weight: 284 KB
Category: Article
ISBN: 3540246223
DOI: 10.1007/978-3-540-24622-0_16

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 2937 || Symbolic Implementation of the Best Transformer

✍ Steffen, Bernhard; Levi, Giorgio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 427 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 5944 || Model-Checking In-Lined Reference Monitors

✍ Barthe, Gilles; Hermenegildo, Manuel 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 360 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking

✍ Donaldson, Alastair; Parker, David 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 317 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 3385 || Abstraction for Liveness

✍ Cousot, Radhia 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 110 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 6538 || Abstract Probabilistic Automata

✍ Jhala, Ranjit; Schmidt, David 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 279 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7737 || Abstraction of Syntax

✍ Giacobazzi, Roberto; Berdine, Josh; Mastroeni, Isabella 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 267 KB

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full pap