Verifying the Mathematical Library of an UAV Autopilot with Frama-C. - Baptiste Pollien; Christophe Garion; Gautier Hattenberger; Pierre Roux 001; Xavier Thirioux (FMICS, 2021)

A Verified UAV Flight Plan Generator. - Baptiste Pollien; Christophe Garion; Gautier Hattenberger; Pierre Roux 001; Xavier Thirioux (FormaliSE, 2023)

Formal Verification of an UAV autopilot: Static analysis and Verified Code Generation. (Vérification formelle du fonctionnement d'un autopilote: Analyse statique et Génération de code vérifiée). - Baptiste Pollien (2023)