PACKAGE NAME: spin-6.5.2-x86_64-1salix15.0.txz PACKAGE LOCATION: ./salix/development PACKAGE SIZE (compressed): 349 K PACKAGE SIZE (uncompressed): 1396 K PACKAGE REQUIRED: PACKAGE CONFLICTS: PACKAGE SUGGESTS: PACKAGE DESCRIPTION: spin: spin (Spin model checker) spin: spin: Spin is a popular open-source software tool, used by thousands of spin: people worldwide, that can be used for the formal verification of spin: distributed software systems. In April 2002 the tool was awarded the spin: prestigious System Software Award for 2001 by the ACM. spin: spin: https://spinroot.com/ spin: spin: spin: