
The Spin Book
More Books on Logic Model Checking

Principles of Spin,
M. BenAri, Springer Verlag, 2008.

Principles of Spin (Japanese translation), M. BenAri, translated by Shin Nakajima, 2010.

Principles of concurrent and Distributed Programming
(the 2nd Edition, which is based on Spin), BenAri, AddisonWesley, 2006.

Model Checking with Spin (in Japanese), by Shin Nakajima, Publ. Kindai Kaguda Sha Co., Ltd., Tokyo, April 2008, 238 pgs.

Model Checking, Clarke, Grumberg, and Peled, MIT Press, 2000.

Principles of Model Checking, C. Baier, JP Katoen, K. Larsen, MIT Press, May 2008.

Systems and Software Verification: ModelChecking Techniques and Tools,
Berard et al, Springer Verlag, 2001.

Logic in Computer Science: Modelling and Reasoning about Systems,
Huth and Ryan, Cambridge Univ. Press, 1999.

Introduction to Automata Theory, Languages, and Computation (2nd Edition),
Hopcroft, Motwani, Ullman, AddisonWesley, 2000.

Verification of reactive systems, Klaus Schneider, SpringerVerlag 2004.

Formale Modelle der Softwareentwicklung,
by Stephan Kleuker, 2009 (in German) Covering Spin, Uppaal, and Petri Nets.

An introduction to practical formal methods using temporal logic,
by Michael Fisher, new 2011, with sections on Spin.
Wiley Publ., ISBN 9780470027882, 353 pgs.
Recommended books on General Programming

Writing Solid Code,
by Steve Maguire, Microsoft, 1993.

Code Complete,
by Steve McConnell, Microsoft, 1993.

The Practice of Programming,
by Brian Kernighan & Rob Pike, AddisonWesley, 1999.

C Programming Language (2nd Edition),
by Brian Kernighan & Dennis Ritchie, Prentice Hall, 1988.

Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly))
Recommended for Safety Critical Code
 