[1584] in Software_Announce
spin on Athena updated to 4.2.5
daemon@ATHENA.MIT.EDU (Alex T Prengel)
Mon May 9 16:17:11 2005
To: software-announce@MIT.EDU
cc: alexp@MIT.EDU, facdev@MIT.EDU, cfyi@MIT.EDU
Date: Mon, 09 May 2005 16:16:57 -0400
From: Alex T Prengel <alexp@MIT.EDU>
I've updated spin on Athena to 4.2.5. spin is an on-the-fly LTL model checking
system for proving properties of asynchronous software systems designs. If you
have no idea what this means you probably don't want to use spin.
There is information about it at the spin Web site, http://spinroot.com/
From my message to users:
spin and xspin have been updated to release 4.2.5. To run them now:
add spin
spin -ver 4.2.5 [options] [file]
xspin -ver 4.2.5 &
We expect to make this version the default after the end of the current term.
Alex
