Summary
Presentation of Frama-C toolset for C code analysis and extensions done within Vessedia project.