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 and Inria. Frama-C enables to analyze C programs without executing them.

PropertyValue
dbpedia-owl:Software/developer
dbpedia-owl:Software/license
dbpedia-owl:Work/genre
dbpedia-owl:developer
dbpedia-owl:genre
dbpedia-owl:license
dbpedia-owl:thumbnail
dbpprop: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 and Inria. Frama-C enables to analyze C programs without executing them.
dbpprop:developer
dbpprop:genre
dbpprop:language
  • English
dbpprop:license
  • mostly LGPL, some parts under BSD licenses
dbpprop:logo
dbpprop:name
  • Frama-C
dbpprop:operatingSystem
dbpprop:programmingLanguage
dbpprop:reference
dbpprop:website
dbpprop:wikiPageUsesTemplate
rdf:type
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 and Inria. Frama-C enables to analyze C programs without executing them.
rdfs:label
  • Frama-C
skos:subject
foaf:depiction
foaf:homepage
foaf:name
  • Frama-C
foaf:page
is dbpprop:redirect of