Tutorial on Frama-C WP

This tutorial has been tested on Frama-C Aluminium-20160501.

This tutorial is part of the course Analysis and verification of sequential programs of High confidence Embedded and Cyberphysical Systems master specialization at Université Grenoble Alpes and of the course Sécurité et Analyse de Programmes at ENSIMAG.