Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Frama-C
A gentle introduction to C code verification using the Frama-C platform
A gentle introduction to C code verification using the Frama-C platform.
Christophe Garion
,
Gautier Hattenberger
,
Baptiste Pollien, PhD
,
Pierre Roux
,
Xavier Thirioux
PDF
Cite
Formal verification of the Paparazzi autopilot
Verification of a mathematical library using Frama-C.
Repository
Paparazzi
Paparazzi
Cite
×