Frama-C - CaLiGraph

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Software Software testing tool Static program analysis tool Tool for static code analysis
rdfs:label	Frama-C
owl:sameAs	dbr:Frama-C
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/OCaml http://en.wikipedia.org/wiki/Frama-C http://en.wikipedia.org/wiki/Category:Lists_of_software http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis http://en.wikipedia.org/wiki/Alt-Ergo http://en.wikipedia.org/wiki/Core_Infrastructure_Initiative http://en.wikipedia.org/wiki/Category:Software_testing_tools http://en.wikipedia.org/wiki/Category:Static_program_analysis_tools http://en.wikipedia.org/wiki/Satisfiability_modulo_theories
skos:prefLabel	Frama-C
clgo:developer	French Institute for Research in Computer Science and Automation French Alternative Energies and Atomic Energy Commission
clgo:genre	Test automation Formal verification Static program analysis
clgo:license	BSD licenses GNU Lesser General Public License
clgo:operatingSystem	MacOS OpenBSD FreeBSD Linux Microsoft Windows
clgo:programmingLanguage	The Array slicing Spare code OCaml

About: clgr:Frama-C