Spin - Formal Verification

`The Spin Book`

The Spin Model Checker - Primer and Reference Manual. This is the main reference to the Spin tool, documenting the theoretical foundation, its search algorithms and verification options, with a complete language reference manual, is available from all online book-sellers, e.g. at amazon.com

Principles of Spin, M. Ben-Ari, Springer Verlag, 2008.
Principles of Spin (Japanese translation), M. Ben-Ari, translated by Shin Nakajima, 2010.
Principles of concurrent and Distributed Programming (the 2nd Edition, which is based on Spin), Ben-Ari, Addison-Wesley, 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: Model-Checking 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, Addison-Wesley, 2000.
Verification of reactive systems, Klaus Schneider, Springer-Verlag 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 978-0-470-02788-2, 353 pgs.

Writing Solid Code, by Steve Maguire, Microsoft, 1993.
Code Complete, by Steve McConnell, Microsoft, 1993.
The Practice of Programming, by Brian Kernighan & Rob Pike, Addison-Wesley, 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))