About:
Model checkers
An Entity in Data Space:
dbpedia.org
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