sci-mathematics/
spin

Tool for formal verification of distributed software systems

http://spinroot.com/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
6.4.5 : 0 ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?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

Changelog