About: Model checkers

Property	Value
rdf:type	skos:Concept
rdfs:label	Model checkers
skos:broader	dbpedia:Category:Finite_model_theory dbpedia:Category:Formal_methods_tools dbpedia:Category:Logic_in_computer_science dbpedia:Category:Mathematical_software dbpedia:Category:Systems_biology
skos:prefLabel	Model checkers
is skos:subject of	dbpedia:Model_checking dbpedia:SPIN_model_checker dbpedia:Rabbit_Model_Checker dbpedia:Partial_order_reduction dbpedia:MCRL2 dbpedia:Libdmc dbpedia:Markov_Reward_Model_Checker_(MRMC) dbpedia:Promela dbpedia:Abstraction_model_checking dbpedia:BLAST_model_checker dbpedia:CHESS_model_checker dbpedia:Construction_and_Analysis_of_Distributed_Processes dbpedia:PRISM_(model_checker) dbpedia:Uppaal_Model_Checker dbpedia:NuSMV dbpedia:Vereofy