• 홈
  • model checking

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