Model checking - CaLiGraph

Property	Value
rdf:type	Mathematical logic topic owl:NamedIndividual Term relating to algorithms and data structures Model checking tool
rdfs:label	Model checking
owl:sameAs	dbr:Model_checking
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/True_quantified_Boolean_formula http://en.wikipedia.org/wiki/API-Calculus http://en.wikipedia.org/wiki/List_of_terms_relating_to_algorithms_and_data_structures http://en.wikipedia.org/wiki/Automated_theorem_proving http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics http://en.wikipedia.org/wiki/Java_Pathfinder http://en.wikipedia.org/wiki/Formal_methods http://en.wikipedia.org/wiki/Static_program_analysis http://en.wikipedia.org/wiki/List_of_model_checking_tools http://en.wikipedia.org/wiki/TAPAs_model_checker
skos:prefLabel	Model checking
skos:altLabel	modeling verifying Checking Language Model Checking Model checkers Model checking#Symbolic model checking Model-checking Probabilistic quantitative model checking bounded model checking model check model checked model checker model checkers model checking model checking problem model-checked model-checking safety properties symbolic model checking
is clgo:academicDiscipline of	Joost-Pieter Katoen Marta Kwiatkowska Gerard J. Holzmann Doron A. Peled
is clgo:genre of	NuSMV Romeo Model Checker Construction and Analysis of Distributed Processes Murφ Uppaal Model Checker PAT (model checker) TAPAAL Model Checker Libdmc SPIN model checker
is clgo:knownFor of	Joseph Sifakis Edmund M. Clarke
is clgo:nonFictionSubject of	Principles of Model Checking

About: clgr:Model_checking