A forum for Spin users

You are not logged in.

#1 2010-12-22 22:01:08

Registered: 2010-11-24
Posts: 9

Update for my textbook on Spin

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:
or from the book's page on Springer's website:

Moti Ben-Ari


Board footer

Powered by FluxBB