NOTICE: This package has been removed from pkgsrc

./wip/spin, Spin is an efficient on-the-fly verification system

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ]

Branch: CURRENT, Version: 5.2.5, Package name: spin-5.2.5, Maintainer: jihbed.research

Spin 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)

CVS history: (Expand)


   2010-11-01 15:10:38 by Kamel Derouiche | Files touched by this commit (5) | Package removed
Log message:
clone remove
   2010-07-16 23:53:06 by Kamel Derouiche | Files touched by this commit (4) 
Log message:

	wip-changes:
	===========
	o Update to 5.2.5
	o added Xspin
   2009-12-23 09:40:14 by Kamel Derouiche | Files touched by this commit (3) 
Log message:

	pkgsrc-changes
	-------------
	o remove sxpin original package
   2009-10-20 14:52:49 by Kamel Derouiche | Files touched by this commit (3) | Package updated
Log message:

	pkgsrc-changes:
	---------------
	o update version
   2009-08-12 01:22:21 by Kamel Derouiche | Files touched by this commit (1) 
Log message:
move new addrs maintainer
   2009-08-06 16:54:50 by Kamel Derouiche | Files touched by this commit (1) 
Log message:

	fixed xspin path
   2009-08-06 16:50:56 by Kamel Derouiche | Files touched by this commit (3) 
Log message:

	pkgsrc-changes:
	--------------
	o Added dependency: Tk, Tcl
	o Added xspin in Makefile: xspin is a GUI spin
   2009-06-08 16:08:39 by Kamel Derouiche | Files touched by this commit (4) | Imported package
Log message:
Import spin-5.2.0 as wip/spin.

Spin 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).