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

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux

Browse the full FMICS paper archive.