@inproceedings{664d42f672d149a296c81c5d62166729,
title = "Verification by abstract interpretation, Soundness and abstract induction",
abstract = "Automatic program verification tools have to cope with programming language and machine semantics, undecidability, and mathematical induction, and so are all complex and imperfect. The ins and outs of automatic program verification will be discussed in light of the theory and practice of abstract interpretation [1–3].",
author = "Patrick Cousot",
year = "2015",
language = "English (US)",
isbn = "9783319274355",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
editor = "Moreno Falaschi",
booktitle = "Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers",
note = "25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015 ; Conference date: 13-07-2015 Through 15-07-2015",
}