CVS commit: wip/spin

["Kamel Derouiche" <jihbed%users.sourceforge.net@localhost>]

Module name:    wip
Committed by:   jihbed
Date:           Mon Jun  8 14:08:39 UTC 2009

Import into wip/spin

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

Status:

Vendor Tag:     JIHBED
Release Tags:   JIHBED_20090608
                
N wip/spin/distinfo
N wip/spin/Makefile
N wip/spin/PLIST
N wip/spin/DESCR

No conflicts created by this import


------------------------------------------------------------------------------
OpenSolaris 2009.06 is a cutting edge operating system for enterprises 
looking to deploy the next generation of Solaris that includes the latest 
innovations from Sun and the OpenSource community. Download a copy and 
enjoy capabilities such as Networking, Storage and Virtualization. 
Go to: http://p.sf.net/sfu/opensolaris-get
_______________________________________________
pkgsrc-wip-cvs mailing list
pkgsrc-wip-cvs%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-cvs