Community Support
Two public support options are available:
- The general discussion list on the Frama-C platform
-
The bug
tracking system. To submit a new bug, you must open an account
on the bts.
- The Frama-C wiki is accessible. To edit it, you must open an account on the bts.
For any question about Frama-C, of if you are looking for any collaboration (academic or industrial) with us, please contact: Benjamin Monate, Loïc Correnson.
Documentation
|
ACSL Specification Language
Frama-C Platform |
Plug-ins Quick Links |