Frama-C

Slides from David Mentré’s 2016 introduction to Frama-C.