The Spin Model Checker: Primer and Reference Manual

By Gerard J. Holzmann

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0321228626
• ISBN13: 9780321228628
• Release Date: January 2003
• Publisher: Addison-Wesley Professional
• Length: 608 Pages
• Weight: 2.40 lbs.
• Dimensions: 9.5" x 1.0" x 7.3"