Projects

Formal verification of the Paparazzi autopilot
Verification of a mathematical library using Frama-C.
Repository Paparazzi Paparazzi