--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C User Manual



Dear Frama-C users,

The Frama-C team is proud to announce the very first release of the 
Frama-C user manual available from the Frama-C website:

   http://www.frama-c.com/download/user-manual-Beryllium-20090902.pdf

It is compatible with Frama-C Beryllium 2. It aims at providing 
              an overview of Frama-C for newcomers, and serves as a 
reference for experimented users. It only describes the Frama-C features 
that are common to all analyzers. Thus it does not cover use of the 
analyzers provided in the Frama-C distribution (Value Analysis, Slicing, 
...).

Please feel free to send us feedback on this document.

Best regards,
for the Frama-C team,
Julien Signoles