[PDF.01vh] The SPIN Model Checker: Primer and Reference Manual (paperback)
Download PDF | ePub | DOC | audiobook | ebooks
Home -> The SPIN Model Checker: Primer and Reference Manual (paperback) epub
The SPIN Model Checker: Primer and Reference Manual (paperback)
Gerard Holzmann
[PDF.zr67] The SPIN Model Checker: Primer and Reference Manual (paperback)
The SPIN Model Checker: Gerard Holzmann epub The SPIN Model Checker: Gerard Holzmann pdf download The SPIN Model Checker: Gerard Holzmann pdf file The SPIN Model Checker: Gerard Holzmann audiobook The SPIN Model Checker: Gerard Holzmann book review The SPIN Model Checker: Gerard Holzmann summary
| #1421918 in Books | 2003-09-14 | Original language:English | PDF # 1 | 9.10 x1.30 x6.90l,2.15 | 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 detecti
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 up to ...
You easily download any file type for your device.The SPIN Model Checker: Primer and Reference Manual (paperback) | Gerard Holzmann. A good, fresh read, highly recommended.
