About: Formal methods tools

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	8232110 (xsd:integer)
dbo:wikiPageRevisionID	1053276171 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Formal methods tools (en)
skos:broader	dbc:Programming_tools dbc:Formal_methods dbc:Mathematical_software
skos:prefLabel	Formal methods tools (en)
prov:wasDerivedFrom	wikipedia-en:Category:Formal_methods_tools?oldid=1053276171&ns=14
is dbo:wikiPageWikiLink of	dbr:Rodin_tool dbr:Alloy_(specification_language) dbr:ESC/Java dbr:List_of_model_checking_tools dbr:CoreASM dbr:MALPAS_Software_Static_Analysis_Toolset dbr:Perfect_Developer dbr:B-Toolkit dbr:Liquid_Haskell dbr:Alt-Ergo dbr:Fastest dbr:Fluctuat dbr:Frama-C dbr:Atelier_B dbr:KeY dbr:TLA+ dbr:B-Method dbr:CPAchecker dbr:CPN-AMI dbr:Solver dbr:SPARK_Toolset dbr:Rigorous_Approach_to_Industrial_Software_Engineering
is dcterms:subject of	dbr:Rodin_tool dbr:Alloy_(specification_language) dbr:ESC/Java dbr:List_of_model_checking_tools dbr:CoreASM dbr:MALPAS_Software_Static_Analysis_Toolset dbr:Perfect_Developer dbr:B-Toolkit dbr:Liquid_Haskell dbr:Alt-Ergo dbr:Fastest dbr:Fluctuat dbr:Frama-C dbr:Atelier_B dbr:KeY dbr:TLA+ dbr:B-Method dbr:CPAchecker dbr:CPN-AMI dbr:Solver dbr:SPARK_Toolset dbr:Rigorous_Approach_to_Industrial_Software_Engineering
is skos:broader of	dbc:SMT_solvers dbc:Model_checkers dbc:Theorem_proving_software_systems dbc:SAT_solvers

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License