Code Generation ; Compilation ; Mechanized proof ; Operational semantics

A Verified UAV Flight Plan Generator
Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
Cite DOI URL