Download User Manual - Frama-C

BIBLIOGRAPHY
Bibliography
ACSL: ANSI/ISO C Specication Language.
Version 1.4 Frama-C Beryllium implementation.)
[1] Patrick Baudin,
Pascal Cuoq,
Jean-Christophe Filliâtre,
Claude Marché,
Benjamin
Monate, Yannick Moy, and Virgile Prevosto.
, October 2009.
ACSL: ANSI/ISO C Specication Language (preliminary de-
[2] Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché, Benjamin Monate, Yannick
sign V1.4)
Moy, and Virgile Prevosto.
, preliminary edition, October 2008.
[3] Pascal Cuoq and Virgile Prevosto.
Frama-C's value analysis plug-in
, October 2009.
http://frama-c.cea.fr/download/value-analysis-Beryllium-20090902.pdf.
Guide
[4] Julien Signoles, Loïc Correnson, and Virgile Prevosto.
, September 2009.
Frama-C Plug-in Development
http://frama-c.cea.fr/download/plugin-developer-Beryllium-20090902.pdf.
45