Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02567097n
Noun Concept
Categories: Model checking, Logic in computer science
EN
model checking  Symbolic Model Verification  Temporal logic in finite-state verification  model-checker  model-checking
EN
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification. Wikipedia
Definitions
Relations
Sources
EN
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification. Wikipedia
Verifying whether a finite-state model meets a given specification Wikidata
IS A
test
HAS KIND
BLAST model checker
CHESS model checker
PRISM model checker
Vereofy
Markov Reward Model Checker
Wikipedia
EN
model checking
Wikidata
EN
Model checking
Wikipedia Redirections
EN
model-checker, model-checking, model checker, model checkers, Modelchecking, symbolic model checking, Symbolic Model Verification, Symbolic model verification, Temporal Logic in Finite-State Verification, Temporal logic in finite-state verification

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License