✦ LIBER ✦

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

✍ Scribed by Donaldson, Alastair; Parker, David

Book ID: 120172857
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 317 KB
Category: Article
ISBN: 3642317596
DOI: 10.1007/978-3-642-31759-0_14

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || Parameterized Model Checking of Fine Grained Concurrency

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

[Lecture Notes in Computer Science] Veri

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

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

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Kronos: A model-checking tool for real-time systems

✍ Hu, Alan J.; Vardi, Moshe Y. 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 298 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework

✍ Etessami, Kousha; Rajamani, Sriram K. 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 87 KB

This Volume Contains The Proceedings Of The International Conference On Computer Aided Veri?cation (cav), Held In Edinburgh, Scotland, July 6–10, 2005. Cav 2005 Was The Seventeenth In A Series Of Conferences Dedicated To The Advancement Of The Theory And Practice Of Computer-assisted Formal An- Ysis

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 6447 || Comparison of Model Checking Tools for Information Systems

✍ Dong, Jin Song; Zhu, Huibiao 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 280 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 6014 || Model Checking Is Static Analysis of Modal Logic

✍ Ong, Luke 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 301 KB