Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Program Proof
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
Cite
×