Date: Thu, 23 Oct 1997 21:48:17 -0700 (PDT) From: jhanna@rogers.wave.ca To: FreeBSD-gnats-submit@FreeBSD.ORG Subject: ports/4839: New port - spin - Verification system for asynchronous concurrent systems. Message-ID: <199710240448.VAA00511@pc-21490.bc.rogers.wave.ca> Resent-Message-ID: <199710240450.VAA21785@hub.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 4839 >Category: ports >Synopsis: New port - spin - Verification system for asynchronous concurrent systems. >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Class: change-request >Submitter-Id: current-users >Arrival-Date: Thu Oct 23 21:50:00 PDT 1997 >Last-Modified: >Originator: Jonathan Hanna >Organization: >Release: FreeBSD 3.0-CURRENT i386 >Environment: >Description: 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. Includes but does not require a Tk/Tcl front end. >How-To-Repeat: Placed in ftp.freebsd.org/pub/FreeBSD/incomming/spin-port.tar.gz. >Fix: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199710240448.VAA00511>