Frama-C
| Use attributes for filter ! | |
| Developers | Commissariat à l'Énergie Atomique (CEA-List) and Inria |
|---|---|
| Operating system | Microsoft Windows |
| FreeBSD | |
| OpenBSD | |
| Linux | |
| Mac OS X | |
| Written in | OCaml |
| License | LGPL |
| BSD licenses | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2437017 |
About Frama-C
Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed by the French Commissariat à l'Énergie Atomique et aux Énergies Alternatives and Inria. It has also received funding from the Core Infrastructure Initiative.
