Buy Me a Coffee at ko-fi.com

Spin model checker

tool for verifying the correctness of software models

Pronunciation
/spɪn ˈmɑdl ˈʧɛkər/
/spɪn ˈmɒdəl ˈʧɛkə/