Ontify
⌘
S
⌘
S
Frama-C - Ontify
Share
Frama-C
Libre Ocaml formal C verifier.
Wikipedia | Frama-C
Statements about
Frama-C
Instance Of
Free Software
Copyright License
GNU Lesser General Public License, Version 2.1
Official Website
http://frama-c.cea.fr/
http://frama-c.com
Operating System
Microsoft Windows
Q34236
Linux
MacOS
Developer
Alternative Energies and Atomic Energy Commission
Software Version Identifier
18.0
Logo Image
Has Use
Formal Verification
Different From
Copyright Status
External Data Available at URL
Framasoft
Copyrighted
https://opam.ocaml.org/packages/frama-c/
Wikidata
