User Tools

  • Logged in as: anonymous (anonymous)
  • Logout

Site Tools


mantis:frama-c:ufc2013-2014-pep-tp

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

Seconde séance

(bientôt)

mantis/frama-c/ufc2013-2014-pep-tp.txt · Last modified: 2014/02/05 17:09 by guillaume-petiot