Newer
Older
---
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](http://frama-c.com) et
en particulier son outil de vérification déductive
[WP](http://frama-c.com/wp.html). La version installée à l'université de
Franche-Comté est Fluorine 3 :
[Fluorine-20130601](http://frama-c.com/download.html).
## Première séance
[tp1.pdf](/assets/dokuwiki/tp1.pdf) [va.pdf](/assets/dokuwiki/va.pdf)
## Seconde séance
(bientôt)