Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01571354n
Noun Named Entity
Categories: Software that uses Cairo, OCaml software, Static program analysis tools, Science software that uses GTK+, Software using the LGPL license
EN
Frama-C  Why
EN
Frama-C stands for Framework for Modular Analysis of C programs. Wikipedia
Definitions
Relations
Sources
EN
Frama-C stands for Framework for Modular Analysis of C programs. Wikipedia
libre Ocaml formal C verifier Wikidata
IS A
free software
DEVELOPER
Alternative Energies and Atomic Energy Commission
DIFFERENT FROM
Framasoft
GUI TOOLKIT OR FRAMEWORK
GTK
OPERATING SYSTEM
Linux
Windows
macOS
FreeBSD
PROGRAMMING LANGUAGE
OCaml
USE
formal verification
Wikipedia
EN
Frama-C
Wikidata
EN
Frama-C
Wikipedia Redirections
EN
Frama-c, Why (software)

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License