A gentle introduction to C code verification using the Frama-C platform

Christophe Garion, Gautier Hattenberger, Baptiste Pollien, Pierre Roux, Xavier Thirioux
March 2022
Cite URL
Type
4
Program Proof ; Deductive Methods ; Abstract Interpretation ; Frama-C