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 Commissariat à l'Énergie Atomique et aux Énergies Alternatives and Inria. Frama-C enables the analysis of C programs without executing them.

Property	Value
dbpedia-owl:abstract	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 Commissariat à l'Énergie Atomique et aux Énergies Alternatives and Inria. Frama-C enables the analysis of C programs without executing them.
dbpedia-owl:developer	dbpedia:Commissariat_à_l'énergie_atomique dbpedia:National_Institute_for_Research_in_Computer_Science_and_Control
dbpedia-owl:genre	dbpedia:Static_program_analysis dbpedia:Formal_verification
dbpedia-owl:license	dbpedia:GNU_Lesser_General_Public_License dbpedia:BSD_licenses
dbpedia-owl:operatingSystem	dbpedia:Linux dbpedia:Microsoft_Windows dbpedia:Mac_OS_X
dbpedia-owl:programmingLanguage	dbpedia:Objective_Caml
dbpedia-owl:thumbnail	http://upload.wikimedia.org/wikipedia/commons/thumb/4/42/Framac.gif/200px-Framac.gif
dbpedia-owl:wikiPageExternalLink	http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-November/001532.html http://frama-c.com/ http://bentobako.org/david/blog/index.php?post/2009/04/06/Les-outils-de-v%C3%A9rification-logiciel-deviennent-de-plus-en-plus-accessibles http://bts.frama-c.com http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss http://frama-c.com http://www.slideshare.net/UlissesCosta/correct-sorting-with-framac
dbpprop:developer	Commissariat à l'Énergie Atomique and Inria
dbpprop:genre	dbpedia:Static_program_analysis dbpedia:Formal_verification
dbpprop:language	English
dbpprop:license	mostly LGPL, some parts under BSD licenses
dbpprop:logo	dbpedia:File:Framac.gif
dbpprop:name	Frama-C
dbpprop:operatingSystem	dbpedia:Linux dbpedia:Microsoft_Windows dbpedia:Mac_OS_X
dbpprop:programmingLanguage	dbpedia:Objective_Caml
dbpprop:website	http://frama-c.com
dbpprop:wikiPageUsesTemplate	dbpedia:Template:Infobox_software
dcterms:subject	category:OCaml_software category:Formal_methods_tools category:C_programming_language_family category:Software_testing_tools
rdf:type	owl:Thing dbpedia-owl:Software schema:CreativeWork dbpedia-owl:Work yago:FormalMethodsTools
rdfs:comment	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 Commissariat à l'Énergie Atomique et aux Énergies Alternatives and Inria. Frama-C enables the analysis of C programs without executing them.
rdfs:label	Frama-C
owl:sameAs	fbase:Frama-C
foaf:depiction	http://upload.wikimedia.org/wikipedia/commons/4/42/Framac.gif
foaf:homepage	http://frama-c.com
foaf:name	Frama-C
foaf:page	http://en.wikipedia.org/wiki/Frama-C
is dbpedia-owl:wikiPageRedirects of	dbpedia:Frama-c
is owl:sameAs of	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Frama-C yago-res:Frama-C
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Frama-C