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