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: Proceedings 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

Other

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

Fingerprint

Avionics

Keywords

  • Languages
  • Reliability
  • Verification

ASJC Scopus subject areas

  • Software

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) https://doi.org/10.1145/1289927.1289932

Proving the absence of run-time errors in safety-critical avionics code. / Cousot, Patrick.

EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software. 2007. p. 7-9.

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

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: 7th ACM and IEEE International Conference on Embedded Software, Salzburg, Australia, 9/30/07. https://doi.org/10.1145/1289927.1289932
Cousot P. 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. 2007. p. 7-9 https://doi.org/10.1145/1289927.1289932
Cousot, Patrick. / Proving the absence of run-time errors in safety-critical avionics code. EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software. 2007. pp. 7-9
@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",
pages = "7--9",
booktitle = "EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software",

}

TY - GEN

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

AU - Cousot, Patrick

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

KW - Languages

KW - Reliability

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=38849140854&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=38849140854&partnerID=8YFLogxK

U2 - 10.1145/1289927.1289932

DO - 10.1145/1289927.1289932

M3 - Conference contribution

AN - SCOPUS:38849140854

SN - 9781595938251

SP - 7

EP - 9

BT - EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software

ER -