NewsLetter 34 - December 19, 2001:
Reminder Spin 2002 WorkshopThe final deadline for submissions to the next Spin Workshop, Spin2002, is Friday December 21, 2001. Time to stop polishing that paper and submit!
Timeline Editor ToolThe timeline editor tool, originally developed for the specification of properties on the Bell Labs FeaVer project has now been released for external distribution. Properties can be specified in an intuitive, visual format, and then converted into Spin never-claims for use in model checking runs. For more information see the brief description at http://cm.bell-labs.com/cm/cs/what/timeedit More details are available from Margaret Smith at [email protected]
Spin Version 3.4.12The current version of Spin is 3.4.12. Version 3.4.11 appeared very briefly on the netlib distribution site, but it has some fatal flaws that make it quite unusable. So if you retrieved this version, it's time to upgrade...
ftp://cm.bell-labs.com/cm/cs/what/spin/Bin/spin3412.exe ftp://cm.bell-labs.com/cm/cs/what/spin/Bin/spin3412_sgi ftp://cm.bell-labs.com/cm/cs/what/spin/Bin/spin3412_linux
End of Newsletter Nr. 34.
Spin Homepage ,