|
The Spin Book
More Books on Logic Model Checking
-
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.
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, 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))
Recommended for Safety Critical Code
| |