@inproceedings{e2358e97c6424fff9b1825e4e2da2c53,
title = "Proving the absence of run-time errors in safety-critical avionics code",
abstract = "We explain the design of the interpretation-based static analyzer ASTRE and its use to prove the absence of run-time errors in safety-critical codes.",
keywords = "Languages, Reliability, Verification",
author = "Patrick Cousot",
year = "2007",
doi = "10.1145/1289927.1289932",
language = "English (US)",
isbn = "9781595938251",
series = "EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software",
pages = "7--9",
booktitle = "EMSOFT'07",
note = "EMSOFT'07: 7th ACM and IEEE International Conference on Embedded Software ; Conference date: 30-09-2007 Through 03-10-2007",
}