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:tutorial:rv-2013 [Frama-C]

User Tools

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

Site Tools


mantis:frama-c:tutorial:rv-2013

A tutorial on the E-ACSL plugin has been given at RV 2013 in Rennes (France), on September 24th, 2013. Slides and C examples are available.

The examples archive contains both unannotated implementation as exercises and a solution that can be entirely run by the E-ACSL plug-in version 0.3 (with Frama-C Fluorine 20130601). The exact way to run each example is given at the bottom of the corresponding file.

mantis/frama-c/tutorial/rv-2013.txt · Last modified: 2013/09/27 14:20 by signoles