Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Frama-C> ?p ?o }
- Frama-C 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.".
- Frama-C developer Commissariat_xc3xa0_lxc3xa9nergie_atomique_et_aux_xc3xa9nergies_alternatives.
- Frama-C developer French_Institute_for_Research_in_Computer_Science_and_Automation.
- Frama-C genre Formal_verification.
- Frama-C genre Static_program_analysis.
- Frama-C license BSD_licenses.
- Frama-C license GNU_Lesser_General_Public_License.
- Frama-C operatingSystem FreeBSD.
- Frama-C operatingSystem Linux.
- Frama-C operatingSystem Microsoft_Windows.
- Frama-C operatingSystem OS_X.
- Frama-C programmingLanguage OCaml.
- Frama-C wikiPageExternalLink Les-outils-de-v%C3%A9rification-logiciel-deviennent-de-plus-en-plus-accessibles.
- Frama-C wikiPageExternalLink bts.frama-c.com.
- Frama-C wikiPageExternalLink frama-c.com.
- Frama-C wikiPageExternalLink frama-c.com.
- Frama-C wikiPageExternalLink frama-c-discuss.
- Frama-C wikiPageExternalLink correct-sorting-with-framac.
- Frama-C wikiPageID "22628771".
- Frama-C wikiPageLength "6178".
- Frama-C wikiPageOutDegree "45".
- Frama-C wikiPageRevisionID "674523028".
- Frama-C wikiPageWikiLink ISO_C_Specification_Language.
- Frama-C wikiPageWikiLink Abstract_interpretation.
- Frama-C wikiPageWikiLink Abstract_syntax_tree.
- Frama-C wikiPageWikiLink Alt-Ergo.
- Frama-C wikiPageWikiLink Automated_theorem_proving.
- Frama-C wikiPageWikiLink Automatic_theorem_prover.
- Frama-C wikiPageWikiLink BSD_licenses.
- Frama-C wikiPageWikiLink C_(programming_language).
- Frama-C wikiPageWikiLink C_Intermediate_Language.
- Frama-C wikiPageWikiLink C_program.
- Frama-C wikiPageWikiLink Category:C_programming_language_family.
- Frama-C wikiPageWikiLink Category:Formal_methods_tools.
- Frama-C wikiPageWikiLink Category:Linux_software.
- Frama-C wikiPageWikiLink Category:OCaml_software.
- Frama-C wikiPageWikiLink Category:Science_software_that_uses_GTK+.
- Frama-C wikiPageWikiLink Category:Software_testing_tools.
- Frama-C wikiPageWikiLink Category:Software_that_uses_Cairo.
- Frama-C wikiPageWikiLink Category:Software_using_the_LGPL_license.
- Frama-C wikiPageWikiLink Category:Static_program_analysis_tools.
- Frama-C wikiPageWikiLink Code_conventions.
- Frama-C wikiPageWikiLink Coding_conventions.
- Frama-C wikiPageWikiLink Commissariat_xc3xa0_lxc3x89nergie_Atomique.
- Frama-C wikiPageWikiLink Commissariat_xc3xa0_lxc3xa9nergie_atomique_et_aux_xc3xa9nergies_alternatives.
- Frama-C wikiPageWikiLink Coq.
- Frama-C wikiPageWikiLink Dominator_(graph_theory).
- Frama-C wikiPageWikiLink Eclipse_(software).
- Frama-C wikiPageWikiLink File:Framac.gif.
- Frama-C wikiPageWikiLink Formal_verification.
- Frama-C wikiPageWikiLink FreeBSD.
- Frama-C wikiPageWikiLink French_Institute_for_Research_in_Computer_Science_and_Automation.
- Frama-C wikiPageWikiLink GIMP.
- Frama-C wikiPageWikiLink GNU_Lesser_General_Public_License.
- Frama-C wikiPageWikiLink George_Necula.
- Frama-C wikiPageWikiLink Inria.
- Frama-C wikiPageWikiLink Interactive_theorem_proving.
- Frama-C wikiPageWikiLink LGPL.
- Frama-C wikiPageWikiLink Linux.
- Frama-C wikiPageWikiLink Mac_OS_X.
- Frama-C wikiPageWikiLink Microsoft_Windows.
- Frama-C wikiPageWikiLink OCaml.
- Frama-C wikiPageWikiLink OS_X.
- Frama-C wikiPageWikiLink Program_analysis.
- Frama-C wikiPageWikiLink Program_analyzer.
- Frama-C wikiPageWikiLink Program_slicing.
- Frama-C wikiPageWikiLink Proof_assistant.
- Frama-C wikiPageWikiLink SPARK_(programming_language).
- Frama-C wikiPageWikiLink Separation_logic.
- Frama-C wikiPageWikiLink Static_code_analysis.
- Frama-C wikiPageWikiLink Static_program_analysis.
- Frama-C wikiPageWikiLinkText "Frama-C value analysis".
- Frama-C wikiPageWikiLinkText "Frama-C".
- Frama-C developer "Commissariat à l'Énergie Atomique and Inria".
- Frama-C genre Formal_verification.
- Frama-C genre Static_code_analysis.
- Frama-C genre Static_program_analysis.
- Frama-C hasPhotoCollection Frama-C.
- Frama-C language "English".
- Frama-C license "mostly LGPL, some parts under BSD licenses".
- Frama-C logo File:Framac.gif.
- Frama-C name "Frama-C".
- Frama-C operatingSystem FreeBSD.
- Frama-C operatingSystem Linux.
- Frama-C operatingSystem Mac_OS_X.
- Frama-C operatingSystem Microsoft_Windows.
- Frama-C operatingSystem OS_X.
- Frama-C programmingLanguage OCaml.
- Frama-C wikiPageUsesTemplate Template:Infobox_Software.
- Frama-C wikiPageUsesTemplate Template:Refimprove.
- Frama-C wikiPageUsesTemplate Template:Reflist.
- Frama-C wikiPageUsesTemplate Template:Snd.
- Frama-C wikiPageUsesTemplate Template:Vague.
- Frama-C subject Category:C_programming_language_family.
- Frama-C subject Category:Formal_methods_tools.
- Frama-C subject Category:Linux_software.
- Frama-C subject Category:OCaml_software.
- Frama-C subject Category:Science_software_that_uses_GTK+.
- Frama-C subject Category:Software_testing_tools.
- Frama-C subject Category:Software_that_uses_Cairo.