Skip to content
EntityQ1569697· pop 16· linked from 213 articles

model checking

Sign in to save

verifying whether a finite-state model meets a given specification

Wikidata facts

Subclass of
test
Show 3 more facts
topic's main category
Category:Model checking
Commons category
Model checking (computer science)
Sources (3)

via Wikidata · CC0