stance.md

Within the Stance project, some training sessions on Frama-C have been
organized. This includes in particular the following presentations:

  - Overview of the platform:
    [slides](/assets/dokuwiki/tutorial/frama_c_overview.pdf) and
    [example of a very simple
    plugin](/assets/dokuwiki/tutorial/simple_metrics.ml)
  - Value Analysis:
    [slides](/assets/dokuwiki/tutorial/stance/value_tutorial.pdf) and
    [code
    examples](/assets/dokuwiki/tutorial/stance/value_examples.tar.gz)
  - WP (advanced presentation, following a first course):
    [slides](/assets/dokuwiki/tutorial/wp_advanced_slides.pdf) and
    [code examples](/assets/dokuwiki/frama-c/tutorial/wp_examples.tar.gz)