An efficient logic-model checker for the verification of multi-threaded code

https://spinroot.com/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
6.5.2-r1 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 ~riscv sparc

Package Metadata