A Verified UAV Flight Plan Generator

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
May 2023
Cite DOI URL
Type
1
Publication
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE)
Code Generation ; Compilation ; Mechanized proof ; Operational semantics