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