✦ LIBER ✦

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 6538 || Refinement-Based CFG Reconstruction from Unstructured Programs

✍ Scribed by Jhala, Ranjit; Schmidt, David

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

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 || SAT-Based Model Checking without Unrolling

✍ Jhala, Ranjit; Schmidt, David 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 305 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 5403 || An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

✍ Jones, Neil D.; Müller-Olm, Markus 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 303 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