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

User Tools

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

Site Tools


mantis:frama-c:ups-2015

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:ups-2015 [2018/10/04 15:20]
signoles
mantis:frama-c:ups-2015 [2018/10/04 15:25] (current)
signoles
Line 6: Line 6:
 Teachers: [[http://​tertium.org/​|Andrei Paskevich]] (Why3) and [[http://​julien.signoles.free.fr/​index.en.html|Julien Signoles]] (Frama-C). Teachers: [[http://​tertium.org/​|Andrei Paskevich]] (Why3) and [[http://​julien.signoles.free.fr/​index.en.html|Julien Signoles]] (Frama-C).
  
-The training ​exercises use both Frama-C/WP and [[http://​why3.lri.fr/​|Why3]] ([[http://​why3.lri.fr/​try/​|in a browser]]). {{:​mantis:​frama-c:​wp-ups.tar.gz|A tarball}} contains most of our material related to Frama-C/WP (in French, still evolving each year). The simplest exercices ​are embedded in slides, the others ​are directly provided in .c files.+Our exercises use both Frama-C/WP and [[http://​why3.lri.fr/​|Why3]] ([[http://​why3.lri.fr/​try/​|in a browser]]). {{:​mantis:​frama-c:​wp-ups.tar.gz|A tarball}} contains most of our material related to Frama-C/WP (in French, still evolving each year). The training exercises ​are embedded in slides, the ones for the final practical session ​are directly provided in .c files.
  
  
mantis/frama-c/ups-2015.txt ยท Last modified: 2018/10/04 15:25 by signoles