NewsLetter 39 - December 8, 2003:
Spin 2004 Workshop
The deadline for paper submissions to the Spin 2004 workshop (the 11th in the series) is coming up next week: 14 December 2003. Check the workshop website for details on submitting papers: http://www-verimag.imag.fr/SPIN-2004/
The New Book
Book Errata: An up to date list of typos that have been found so far in the first printing of the book can be found at: http://spinroot.com/spin/Doc/Book_extras.
Reviews Anyone?: We'd like to get some more reviews up on the websites of the main online books sellers (Barnes and Noble, Amazon, etc.), and maybe even at sites like slashdot.org. I'll send the first person who succeeds in getting a full review of the book up on slashdot.org (or something equivalent) a free signed copy of the book.
Spin Version 4.1
Current Version: The current version of Spin is 4.1.0. It contains some more bug fixes, the removal of some unnecessary constraints, and one piece of new functionality that will make it easier to perform model checking on application level code. Documentation for this newer options will follow soon. A list of changes for each new release of Spin is maintained in the file Doc/V4.Updates, in the distribution source archive.
JSpin, a Java GUI: A new version of the Xspin GUI, written in Java instead of Tcl/Tk was made available by Moti Ben-Ari from the Weizmann Institute http://stwww.weizmann.ac.il/g-cs/benari/jspin/. Give it a try. More info: [email protected]
Mac OS X: Instructions for installing Spin and Xspin on a Mac under OS X have been added to the distribution. The instructions were provided by Dominik Brettnacher. More info: [email protected]
End of Newsletter Nr. 39.
To subscribe/unsubscribe: [email protected]