Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Paparazzi
VFPG
Verified Flight Plan Generator in Coq.
Repository
Paparazzi
Paparazzi
Formal verification of the Paparazzi autopilot
Verification of a mathematical library using Frama-C.
Repository
Paparazzi
Paparazzi
Cite
×