model checking

verifying whether a finite-state model meets a given specification

en-GB/ˈmɒdəl ˈt͡ʃɛkɪŋ/
en-US/ˈmɑdəl ˈt͡ʃɛkɪŋ/

カテゴリ：

test