Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
4
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 for Autopilot – Preliminary state of the art
A preliminary state of the art for the formal verification of the autopilot of an Unmanned Air Vehicle (UAV).
Baptiste Pollien, PhD
,
Christophe Garion
,
Gautier Hattenberger
,
Pierre Roux
,
Xavier Thirioux
PDF
Cite
Cite
×