[PDF.94os] The SPIN Model Checker: Primer and Reference Manual

The SPIN Model Checker: Primer and Reference Manual

[PDF.kh65] The SPIN Model Checker: Primer and Reference Manual

The SPIN Model Checker:  Gerard J. Holzmann epub
The SPIN Model Checker:  Gerard J. Holzmann pdf download
The SPIN Model Checker:  Gerard J. Holzmann pdf file
The SPIN Model Checker:  Gerard J. Holzmann audiobook
The SPIN Model Checker:  Gerard J. Holzmann book review
The SPIN Model Checker:  Gerard J. Holzmann summary

 | #2788744 in Books |  2003-09-14 | Original language:English | PDF # 1 |  9.60 x1.32 x7.10l,2.33 | File type: PDF | 608 pages

---

||0 of 0 people found the following review helpful.| Great reference manual|By Jim Valerio|I bought the book because I decided to formally verify several different multi-threaded hardware and software designs I am working on. While I'm familiar with the concepts and experienced in this kind of design, this was my first foray into writing these kinds of models.

I found the Promela language funky, and the publicly availa|From the Back Cover||Master SPIN, the breakthrough tool for improving software reliability|SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects in concurrent system designs. Literally thousa

The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the tool. This book fills that need. SPIN is used in over 40 countries. The offical SPIN web site, spinroot.com receives between 2500 and 3000 hits per day. It has been estimated that...

You can specify the type of files you want, for your device.The SPIN Model Checker: Primer and Reference Manual   |  Gerard J. Holzmann. A good, fresh read, highly recommended.

Download Now