Date: Sat, 12 Dec 1998 14:17:48 -0800 (PST) From: "Justin M. Seger" <jseger@FreeBSD.ORG> To: cvs-committers@FreeBSD.ORG, cvs-all@FreeBSD.ORG Subject: cvs commit: ports/math/spin - Imported sources Message-ID: <199812122217.OAA17873@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
jseger 1998/12/12 14:17:48 PST ports/math/spin - Imported sources Update of /home/ncvs/ports/math/spin In directory freefall.freebsd.org:/c/users/jseger/cvsworkdir/spin Log Message: Import of math 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. PR: ports/9058 Submitted by: pangolin@home.com Status: Vendor Tag: JHANNA Release Tags: v3_23 N ports/math/spin/Makefile I ports/math/spin/CVS N ports/math/spin/pkg/PLIST N ports/math/spin/pkg/COMMENT N ports/math/spin/pkg/DESCR N ports/math/spin/files/md5 N ports/math/spin/patches/patch-aa No conflicts created by this import To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe cvs-all" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199812122217.OAA17873>