Home » Authors » Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris

Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris

Public reference bibliography and cataloged PDF materials authored or published by Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris.

Found 1 document(s) Page 1 of 1

Towards Formally Verified Optimizing Compilation in Flight Control Software

Year: 2011 • Source: hal.science • Listed PDF

This work presents a preliminary evaluation of the use of the CompCert formally specified and verified optimizing compiler for the development of level A critical flight control software. First, the motivation for choosi...