SPIN can be used to verify correctness requirements for systems of concurrently executing processes.
An edition of The SPIN Model Checker
(2003)
The SPIN Model Checker
Primer and Reference Manual
by Gerard J. Holzmann
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Last edited by Open Library Bot
April 28, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
The SPIN Model Checker: Primer and Reference Manual
September 4, 2003, Addison-Wesley Professional
Hardcover
in English
0321228626 9780321228628
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"SPIN can be used to verify correctness requirements for systems of concurrently executing processes."
The Physical Object
ID Numbers
Excerpts
added anonymously.
Community Reviews (0)
Feedback?
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 14, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |