@inproceedings{f7607d1feec5466eae30c40750dc0988,
title = "Formal verification by abstract interpretation",
abstract = "We provide a rapid overview of the theoretical foundations and main applications of abstract interpretation and show that it currently provides scaling solutions to achieving assurance in mission- and safety-critical systems through verification by fully automatic, semantically sound and precise static program analysis.",
keywords = "Abstract interpretation, Abstraction, Aerospace, Certification, Cyber-physical system, Formal Method, Mission-critical system, Runtime error, Safety-critical system, Scalability, Soundness, Static Analysis, Validation, Verification",
author = "Patrick Cousot",
year = "2012",
doi = "10.1007/978-3-642-28891-3_3",
language = "English (US)",
isbn = "9783642288906",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "3--7",
booktitle = "NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings",
note = "4th NASA Formal Methods Symposium, NFM 2012 ; Conference date: 03-04-2012 Through 05-04-2012",
}