My tutorial on Frama-C WP

1. Introduction to Frama-C WP plugin
2. exercises currently, some instructions are in French - let me know if you need a translation