• 홈
  • SPIN model checker

SPIN model checker

tool for verifying the correctness of software models

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

카테고리:

open-source software