About: Formal methods tools

Property	Value
rdf:type	skos:Concept
rdfs:label	Formal methods tools
skos:broader	dbpedia:Category:Formal_methods dbpedia:Category:Computer_programming_tools dbpedia:Category:Mathematical_software
skos:prefLabel	Formal methods tools
is skos:broader of	dbpedia:Category:Model_checkers dbpedia:Category:Theorem_proving_software_systems
is skos:subject of	dbpedia:Spec_Sharp dbpedia:Alloy_Analyzer dbpedia:B-Toolkit dbpedia:Perfect_Developer dbpedia:SCADE dbpedia:KeY dbpedia:FSA_Utilities dbpedia:B-Method dbpedia:CHIC_(electronics) dbpedia:CPN-AMI dbpedia:CoreASM dbpedia:ESC/Java dbpedia:ExSpecT dbpedia:Frama-C dbpedia:RAISE