model checking

verifying whether a finite-state model meets a given specification

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

Kategoriler:

test