Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Qualifying CompCert for Safety-Critical Avionics Software

20260 citationsJournal Articlegreen Open Access

Authors

Pister, Markus · AbsInt (Germany)

Kaestner, Daniel · AbsInt (Germany)

Schmidt, Michael · AbsInt (Germany)

Schommer, Bernhard · AbsInt (Germany)

Cullmann, Christoph · AbsInt (Germany)

Sieurac, Sonia · Airbus (India)

Cucuron, Christophe · Airbus (India)

Souyris, Jean ·

Abstract

International audience

Topics & Keywords

Safety Systems Engineering in Autonomy Software Engineering Techniques and Practices Software Reliability and Analysis Research

Publication Details

Published in: SPIRE - Sciences Po Institutional REpository

DOI: 10.82331/erts.2026.35

Field-Weighted Citation Impact: 0.00

Qualifying CompCert for Safety-Critical Avionics Software | Researchclopedia

Daniel L. Kastner · AbsInt (Germany)