---
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)