Filtrer vos résultats
- 5
- 3
- 2
- 1
- 1
- 4
- 3
- 2
- 1
- 1
- 2
- 2
- 5
- 4
- 2
- 5
- 4
- 4
- 4
- 2
- 2
5 résultats
|
|
triés par
|
|
Vérification d’une bibliothèque mathématique d’un autopilote avec Frama-CApproches 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
|
||
|
A gentle introduction to C code verification using the Frama-C platform[Research Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
Rapport
hal-03625208v1
|
||
|
Formal Verification for Autopilot - Preliminary state of the art[Technical Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
Rapport
hal-03255656v1
|
||
|
A Verified UAV Flight Plan Generator2023 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
|
||
|
Verifying the Mathematical Library of an UAV Autopilot with Frama-C26th 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
|