Proving the absence of run-time errors in safety-critical avionics code

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationEMSOFT'07
Subtitle of host publicationProceedings of the Seventh ACM and IEEE International Conference on Embedded Software
Pages7-9
Number of pages3
DOIs
StatePublished - 2007
EventEMSOFT'07: 7th ACM and IEEE International Conference on Embedded Software - Salzburg, Australia
Duration: Sep 30 2007Oct 3 2007

Publication series

NameEMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software

Other

OtherEMSOFT'07: 7th ACM and IEEE International Conference on Embedded Software
CountryAustralia
CitySalzburg
Period9/30/0710/3/07

Keywords

  • Languages
  • Reliability
  • Verification

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Proving the absence of run-time errors in safety-critical avionics code'. Together they form a unique fingerprint.

  • Cite this

    Cousot, P. (2007). Proving the absence of run-time errors in safety-critical avionics code. In EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software (pp. 7-9). (EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software). https://doi.org/10.1145/1289927.1289932