Community support

Several public support options are available. Note that help from these channels is mostly provided by the Frama-C community – researchers, engineers, teachers, and more – during their spare time.

Commercial support and licenses

Two options are available to support existing Frama-C releases, early looks at new features, and access to proprietary plugins:

Download Center

Documentation

Manuals and tutorials

ACSL Specification Language

Frama-C Platform

Plug-ins

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

Other material

External Resources