Verifying the Mathematical Library of an UAV Autopilot with Frama-C

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
August 2021
Cite DOI URL
Type
1
Publication
26th International Conference on Formal Methods for Industrial Critical Systems - FMICS 2021
Proof of program ; Critical systems ; Deductive methods and abstract interpretation