SPIN model checker

tool for verifying the correctness of software models

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

หมวดหมู่:

open-source software