--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on December 2017 ---
Dear Frama-C users, I have released the first english version of a tutorial about Frama-C with WP and ACSL. It is a tutorial for beginners that introduces the use of these tools but also provides some basic ideas about the theory behind the tools. The PDF document is available through : Â Â Â http://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf The markdown sources are available through my Github : Â Â Â https://github.com/AllanBlanchard/tutoriel_wp This tutorial is the english translation (and I thank Jens Gerlach for his help during the translation) of the french tutorial I previously wrote, that is also available on the same Github repository but also on my website : Â Â Â http://allan-blanchard.fr/publis/frama-c-wp-tutoriel-fr.pdf Any feedback is welcome. Do not hesitate to create issues or pull requests on my Github (in this last case, please modify the markdown files, the latex files are partially auto-generated from them). If you want some feature of ACSL or WP to be included in the tutorial, please let me know, I will do my best to add them. I hope this document helps learning and teaching the use of Frama-C and WP. Regards, Allan Blanchard