Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Frama-C> ?p ?o. }
Showing items 1 to 64 of
64
with 100 items per page.
- 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_%C3%A0_l'%C3%A9nergie_atomique_et_aux_%C3%A9nergies_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 001532.html.
- Frama-C wikiPageExternalLink correct-sorting-with-framac.
- Frama-C wikiPageID "22628771".
- Frama-C wikiPageRevisionID "603639544".
- Frama-C developer "Commissariat à l'Énergie Atomique and Inria".
- Frama-C genre Formal_verification.
- 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 Microsoft_Windows.
- Frama-C operatingSystem OS_X.
- Frama-C programmingLanguage OCaml.
- 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.
- Frama-C subject Category:Software_using_the_LGPL_license.
- Frama-C subject Category:Static_program_analysis_tools.
- Frama-C type Abstraction100002137.
- Frama-C type Code106355894.
- Frama-C type CodingSystem106353757.
- Frama-C type Communication100033020.
- Frama-C type Software106566077.
- Frama-C type Writing106359877.
- Frama-C type WrittenCommunication106349220.
- Frama-C type Software.
- Frama-C type Work.
- Frama-C type CreativeWork.
- Frama-C type InformationEntity.
- Frama-C 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.".
- Frama-C label "Frama-C".
- Frama-C sameAs m.05zs53q.
- Frama-C sameAs Q5477849.
- Frama-C sameAs Q5477849.
- Frama-C sameAs Frama-C.
- Frama-C wasDerivedFrom Frama-C?oldid=603639544.
- Frama-C homepage frama-c.com.
- Frama-C isPrimaryTopicOf Frama-C.
- Frama-C name "Frama-C".