The Spin Model Checker

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


You Must CONTINUE and create a free account to access unlimited downloads & streaming