spin
An efficient logic-model checker for the verification of multi-threaded code
homepage ↗homepage ↗ github: nimble-code/Spin
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 6.5.2-r1 | 1 | 16 h | details › |
Versions & arches
Use flags of 6.5.2-r1
- doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- examples Install examples, usually source code
- graphviz Add support for the Graphviz library
- tk Add support for Tk GUI toolkit