Principles of the Spin Model Checker

Principles of the Spin
Model Checker

Book Cover Image

 Springer, 2008. ISBN: 978-1-84628-769-5.

This is an introductory textbook on the use of the Spin Model Checker for modeling and verifying concurrent and distributed systems.

Tools for learning model checking and Spin:

  • jSpin: An integrated development environment.
  • Erigone: A reimplementation of Spin for facilitating learning.