Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

5 résultats
Page :
triés par
Image document

Vérification d’une bibliothèque mathématique d’un autopilote avec Frama-C

 Baptiste Pollien
Approches formelles dans l'assistance au développement de logiciels - AFADL 2021, Jun 2021, Virtual event, France. pp.31-35
Communication dans un congrès hal-03274906v1
Image document

A gentle introduction to C code verification using the Frama-C platform

 Christophe Garion , Gautier Hattenberger , Baptiste Pollien , Pierre Roux , Xavier Thirioux
[Research Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
Rapport hal-03625208v1
Image document

Formal Verification for Autopilot - Preliminary state of the art

 Christophe Garion , Gautier Hattenberger , Baptiste Pollien , Pierre Roux , Xavier Thirioux
[Technical Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
Rapport hal-03255656v1
Image document

A Verified UAV Flight Plan Generator

 Baptiste Pollien , Christophe Garion , Gautier Hattenberger , Pierre Roux , Xavier Thirioux
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2023, Melbourne, Australia. pp.130-140, ⟨10.1109/FormaliSE58978.2023.00021⟩
Communication dans un congrès hal-04165427v1
Image document

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

 Baptiste Pollien , Christophe Garion , Gautier Hattenberger , Pierre Roux , Xavier Thirioux
26th International Conference on Formal Methods for Industrial Critical Systems - FMICS 2021, Aug 2021, Paris, France. ⟨10.1007/978-3-030-85248-1_10⟩
Communication dans un congrès hal-03344191v1
Page :