spin

Description:An efficient logic-model checker for the verification of multi-threaded code
License: BSD
Homepage:https://spinroot.com/ https://github.com/nimble-code/Spin
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
6.5.2-r1 - ~ - - - - - - - - - - ~

USE flags

  • 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

Also available in: Atom

Thank you!