Program Proof ; Deductive Methods ; Abstract Interpretation ; Frama-C

A gentle introduction to C code verification using the Frama-C platform
Christophe Garion, Gautier Hattenberger, Baptiste Pollien, Pierre Roux, Xavier Thirioux
Cite URL