Port details
spin An on-the-fly verification system for asynchronous concurrent systems
3.4.16 math Σ 3.4.16Version of this port present on the latest quarterly branch. Maintainer: jhanna@shaw.ca Port Added: unknownLast Update: 2002-06-11 19:31:07SVN Revision: UNKNOWNPeople watching this port, also watch: yudit , zimg , libgd , netpbm , magicpoint License: not specified in portDescription: # 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). cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ Manual pages: # FreshPorts has no man page information for this port.
pkg-plist: make generate-plist # There is no configure plist information for this port. USE_RC_SUBR (Service Scripts)
no SUBR information found for this port
Dependency lines :
No installation instructions: This port has been deleted. PKGNAME: Flavors: # there is no flavor information for this port. distinfo: # There is no distinfo for this port.
No package information for this port in our database # Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
This port has no dependencies. # There are no ports dependent upon this port # Configuration Options : # No options to configure Options name : # N/A pkg-message: # FreshPorts was unable to extract/find any pkg message Master Sites: #
Commit History - (may be incomplete: for full details, see links to repositories near top of page) Commit Credits Log message 3.4.16 sada Category move: math/spin to devel
PR: ports/10396
Submitted by: Daniel C. Sobral <dcs@newsguy.com >
Approved by: maintainer 3.4.16 petef - update to 3.4.16
- update maintainer's email address
PR: 39020
Submitted by: Jonathan Hanna <jhanna@shaw.ca > 3.4.14 sada Upgrade to version 3.4.14 .
PR: ports/36862
Submitted by: maintainer 17 Feb 2002 02:48:34
pat Update to 3.4.13 19 Oct 2001 16:48:41
dwcjr Really update to 3.4.9 this time Bump PORTREVISON to make sure no problems
with previous error 19 Oct 2001 06:30:27
dwcjr Update to 3.4.9 23 Sep 2001 20:50:43
dwcjr Remove ftp.freesoftware.com from MASTER_SITES of ports since it no longer
exists. 16 Jul 2001 14:22:50
dannyboy Update to 3.4.8. 27 May 2001 14:03:45
jeh update to 3.4.7 29 Mar 2001 20:08:46
mharo update to 3.4.5 12 Feb 2001 12:58:01
kevlo Update to version 3.4.4 10 Dec 2000 15:38:09
roam Update to 3.4.2 08 Oct 2000 04:10:26
asami Convert category math to new layout. 16 Sep 2000 21:18:20
ade Update to 3.4.1 23 Jun 2000 14:44:04
sobomax - Support LOCALBASE properly (in setting path to custom wish script) 29 May 2000 04:09:14
steve Update to version 3.3.10.
