ports/devel/spin/pkg-comment, branch release/3.2.0FreeBSD ports treehttps://cgit-dev.freebsd.org/ports/atom?h=release%2F3.2.01999-05-14T11:54:55ZThis commit was manufactured by cvs2svn to create tag 'RELEASE_3_2_0'.1999-05-14T11:54:55Zcvs2svncvs2svn@FreeBSD.org1999-05-14T11:54:55Zurn:sha1:b919b8311bc5d38e5731d40525c88c54816f4530Import of math spin:1998-12-12T22:17:48ZJustin M. Segerjseger@FreeBSD.org1998-12-12T22:17:48Zurn:sha1:2052cf95c1ee4eca54a814422161007041c13d15
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