The Spin Model Checker

4.11 - 1251 ratings - Source

SPIN is a tool for improving software reliability. This comprehensive reference guide to SPIN covers the tool's specification language and theoretical foundation, and gives detailed advice on methods for tackling the most complex software verification problems.This is the most comprehensive reference guide to SPIN, written by the principal designer of the tool.

Title

:

The Spin Model Checker

Author

:

Gerard J. Holzmann

Publisher

:

Edward Elgar Publishing - 2004

ISBN-13

:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.