gentoo.mahdi.cz
sci-mathematics
:spin
An efficient logic-model checker for the verification of multi-threaded code
https://spinroot.com/ https://github.com/nimble-code/Spin
spin-6.5.2-r1
BSD
download
~amd64 ~riscv ~x86
gentoo