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|