ufc2013-2014-pep-tp.md

layout: clean_page

Travaux Pratiques Frama-C / WP

Université de Franche-Comté, Master 1 Informatique PEP, Année 2013-2014

Enseignants : Guillaume PETIOT, Alain GIORGETTI, Jacques JULLIAND

Introduction

Le but de ces TP est d'utiliser l'outil Frama-C et en particulier son outil de vérification déductive WP. La version installée à l'université de Franche-Comté est Fluorine 3 : Fluorine-20130601.

Première séance

tp1.pdf va.pdf

Seconde séance

(bientôt)