Test of Distributed Systems
BookThere is no mandatory book used in the course, but the following book is highly recommended if you to want learn more about Spin or use its more advanced features. It focuses on how Spin is used, rather than how Spin works. The book store can get it home in a few days.
"Principles of the Spin Model Checker", Ben-Ari, Mordechai
2008, XVI, 216 p. 17 illus., Softcover
||“A Primer on Model Checking”, Mordechai Ben-Ari, article from ACM Inroads, March 2010.|
Spin Manual” from the Spin homepage http://spinroot.com
||“Consistent Global States of
Distributed Systems: Fundamental Concepts and Mechanisms”,
Technical Report UBLCS-93-1, January 1993, University of Bologna
||Guide for installing jSpin + Spin
in newest version.
Promela demo programstds1.pml - Two processes updating the same counter.
tds2.pml - Two processes going into deadlock.
count-6.pml - Surprising interference with 2 processes incrementing a counter.
tds3.pml - Simple client/server system.
fairness.pml - Illustrates difference between minimal fairness and weak fairness.