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

https://spinroot.com/

Available Versions

Versionamd64x86alphaarmarm64hppamipsppcppc64riscvsparc
6.5.2-r1  : 0 EAPI 8 ~amd64 ~x86?alpha?arm?arm64?hppa?mips?ppc?ppc64 ~riscv?sparc
This package needs a new maintainer!
If you are interested in helping with the maintenance of spin, please get in touch with our Proxy Maintainers team.

Package Metadata