✦ LIBER ✦

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 6538 || SAT-Based Model Checking without Unrolling

✍ Scribed by Jhala, Ranjit; Schmidt, David

Book ID: 121417838
Publisher: Springer Berlin Heidelberg
Year: 2011
Weight: 305 KB
Category: Article
ISBN: 3642182755
DOI: 10.1007/978-3-642-18275-4_7

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 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 6538 || Refinement-Based CFG Reconstruction from Unstructured Programs

✍ Jhala, Ranjit; Schmidt, David 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 310 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] 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

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

[Lecture Notes in Computer Science] Model Checking Software Volume 6349 || SMT-Based Software Model Checking

✍ Pol, Jaco; Weber, Michael 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 67 KB