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