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 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.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA