Community support

Several public support options are available. Note that this kind of support is mostly done during the spare time of the developers of Frama-C or by the community.

Commercial support and licenses

Commercial support and licenses are available. There are three standard options:

  1. Starting Kit. This option provides a 3-month commercial licence for Frama-C. It is intended for the licensee to evaluate the benefits of the "Extended level" support option below. This option includes:
    • access to a private mailing list
    • answers in less than 15 days
    • access to non-public patches fixing reported bugs
    • read-only access to the development version through Subversion
    • access to some non-open-source plug-ins for evaluation purposes
    • 3 days of consulting, to distribute between deployment and training according to the licensee's needs
  2. Basic level. This option grants a one year commercial license for Frama-C and one year of first level support for the latest public version of Frama-C. First level support includes:
    • access to a private mailing list
    • answers in less than 15 days
    • access to non-public patches fixing reported bugs
  3. Extended level. This option extends the basic level option with the following services:
    • read-only access to the development version through Subversion
    • dedicated development time for small new features and plug-in customization
    • access to some non open source plug-ins for evaluation purposes

For questions about these commercial support options, please contact:  .

Download Center

Documentation

Manuals and tutorials

ACSL Specification Language

Frama-C Platform

Plug-ins

A short description of each plug-in can be found into the Plug-in Factory.
Direct links to each plug-in's full documentation are listed below:

Other material

External Resources