• Home
  • 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ɚ/

Categories:

open-source software