Buy Me a Coffee at ko-fi.com

Model checking

verifying whether a finite-state model meets a given specification

Pronunciation
/ˈmɒdəl ʧɛkiŋ/
/ˈmɑdl ˈʧɛkɪŋ/
Categories
test