About: http://dbpedia.org/class/yago/ModelCheckers

Property	Value
rdfs:label	checker
rdfs:subClassOf	http://dbpedia.org/class/yago/Checker109913110
is rdf:type of	dbpedia:Model_checking dbpedia:SPIN_model_checker dbpedia:Rabbit_Model_Checker dbpedia:Partial_order_reduction dbpedia:Libdmc dbpedia:Promela dbpedia:Abstraction_model_checking dbpedia:BLAST_model_checker dbpedia:Uppaal_Model_Checker dbpedia:NuSMV dbpedia:Symbolic_model_verification dbpedia:Markov_Reward_Model_Checker_(MRMC)