Model checking

http://dbpedia.org/resource/Category:Model_checking an entity of type: Concept

rdf:langString Model checking
rdf:langString Model checking
xsd:integer 30701102
xsd:integer 893319541
skos:Concept
<http://dbpedia.org/resource/Category:Finite_model_theory>
<http://dbpedia.org/resource/Category:Formal_methods>
<http://dbpedia.org/resource/Template:Commonscat>
<http://dbpedia.org/resource/Template:Cat_main>
<http://en.wikipedia.org/wiki/Category:Model_checking?oldid=893319541&ns=14>

data from the linked data cloud