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:publications [Frama-C]

User Tools

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

Site Tools


mantis:frama-c:publications

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
mantis:frama-c:publications [2018/01/08 14:45]
virgile Link to AB's WP tutorial
mantis:frama-c:publications [2018/01/08 14:45] (current)
virgile typo
Line 89: Line 89:
   * Arnaud Dieumegard and Marc Pantel.\\ ** Vérification d’un générateur de code par génération d’annotations. **\\ Conférence en IngénieriE du Logiciel (CIEL), Juin 2012.\\ [[http://​gpl2012.irisa.fr/​sites/​default/​files/​CIEL2012-Dieumegard-paper34.pdf]]   * Arnaud Dieumegard and Marc Pantel.\\ ** Vérification d’un générateur de code par génération d’annotations. **\\ Conférence en IngénieriE du Logiciel (CIEL), Juin 2012.\\ [[http://​gpl2012.irisa.fr/​sites/​default/​files/​CIEL2012-Dieumegard-paper34.pdf]]
   ​   ​
-  * Allan Blanchard.\\ ** Introduction to C Program Proof using Frama-C and its WP Plugin. **\\WP tutorial, available at [[http://​allan-blanchard.fr/​teaching.html]].+  * Allan Blanchard.\\ ** Introduction to C Program Proof using Frama-C and its WP Plugin. **\\ WP tutorial, available at [[http://​allan-blanchard.fr/​teaching.html]].
  
  
mantis/frama-c/publications.1515419105.txt.gz · Last modified: 2018/01/08 14:45 by virgile