✦ LIBER ✦

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 5403 || An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

✍ Scribed by Jones, Neil D.; Müller-Olm, Markus

Book ID: 120376244
Publisher: Springer Berlin Heidelberg
Year: 2008
Weight: 303 KB
Category: Article
ISBN: 3540939008
DOI: 10.1007/978-3-540-93900-9_19

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 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 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 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 5944 || Model-Checking In-Lined Reference Monitors

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