Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02567097n
Noun Concept
IT
model checking  controllo del modello  model checker
IT
Il model checking è un metodo per verificare algoritmicamente i sistemi formali. Wikipedia
Definitions
Relations
Sources
IT
Il model checking è un metodo per verificare algoritmicamente i sistemi formali. Wikipedia
IS A
test
HAS KIND
EN
BLAST model checker
EN
CHESS model checker
EN
PRISM model checker
EN
Vereofy
EN
Markov Reward Model Checker
Wikipedia
IT
model checking
Wikidata
IT
Model checking
Wikipedia Translations
IT
controllo del modello, model checker

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