Model checkers

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

rdfs:label

rdf:langString Model checkers

skos:prefLabel

rdf:langString Model checkers

dbpedia-owl:wikiPageID

xsd:integer 8232149

dbpedia-owl:wikiPageRevisionID

xsd:integer 413363687

dbpedia:Category:Formal_methods_tools

dbpedia:Category:Mathematical_software

dbpedia:Category:Model_checking

dbpedia:Category:Systems_biology

dbpprop:wikiPageUsesTemplate

dbpedia:Template:Cat_main

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Category:Model_checkers?oldid=413363687&ns=14>

data from the linked data cloud