Proof of program ; Critical systems ; Deductive methods and abstract interpretation

Verifying the Mathematical Library of an UAV Autopilot with Frama-C
Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
Cite DOI URL