About:
Formal methods tools
An Entity in Data Space:
dbpedia.org
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