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