Formal Verification of Avionics Software Products.

Jean Souyris, Virginie Wiels, David Delmas, Herv Delseny

Browse the full FM paper archive.