A forum for Spin users
You are not logged in.
Pages: 1
I have prepared a short document explaining the new features of Promela in Spin 6. It is intended to supplement my textbook: Principles of the Spin Model Checker. Springer, 2008. In addition, there are versions of the programs in the book that were modified to use the new features.
The document and the program archive can be downloaded for free from my website:
[url]http://stwww.weizmann.ac.il/g-cs/benari/books/index.html#spin[/url]
or from the book's page on Springer's website:
[url]http://www.springer.com/978-1-84628-769-5[/url]
Moti Ben-Ari
Offline
Pages: 1