SYSTEM WARNING: 'session_name(): Cannot change session name when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 231

SYSTEM WARNING: 'session_set_cookie_params(): Cannot change session cookie parameters when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 232

mantis:frama-c:ufc2013-2014-pep-tp [Frama-C]

User Tools

  • Logged in as: anonymous (anonymous)
  • Log Out

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