Towards Formally Verified Optimizing Compilation in Flight Control Software.

Ricardo Bedin Frana, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris

Browse the full DATE paper archive.