Path to this page:
NOTICE: This package has been removed from pkgsrc./
wip/spin,
Spin is an efficient on-the-fly verification system
Branch: CURRENT,
Version: 5.2.5,
Package name: spin-5.2.5,
Maintainer: jihbed.researchSpin is an efficient on-the-fly verification system
(a `model checker') for asynchronous concurrent systems,
such as data communication protocols, distributed operating
systems, database systems, etc.
It can be used to prove both safety and liveness properties,
including all correctness requirements expressible in linear
time temporal logic.
Spin uses a high level language to specify systems descriptions,
called PROMELA (PROcess MEta LAnguage).
Required to build:[
devel/gmake]
Master sites:
SHA1: 274649628c0c8ae3414b863c27a1b8d98a8e9921
RMD160: 8d01f8dd0da8c8013fbb8c6d6e9a8c40b8c5f33f
Filesize: 403.717 KB
Version history: (Expand)
- (2010-11-02) Package deleted from pkgsrc
- (2010-07-30) Package has been reborn
- (2010-07-26) Package deleted from pkgsrc
- (2010-07-17) Updated to version: spin-5.2.5
- (2009-12-23) Updated to version: spin-5.2.4
- (2009-10-20) Updated to version: spin-5.2.2
CVS history: (Expand)