Tutorial: Collaborative Analysis and Verification of C Programs with Frama-C
Résumé
This tutorial is an introduction, including hands-on sessions, to the analysis and verification of C programs using Frama-C. The main plug-ins of Frama-C are presented, as well as their combination in a verification project.