Towards formally verified optimizing compilation in flight control software (2011)

by R B França, D Favre-Felix, X Leroy, M Pantel, J Souyris
Venue:Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik