Buy Me a Coffee at ko-fi.com

Model checking

verifying whether a finite-state model meets a given specification

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