Principles of the Spin model checker /
The Spin model checker is a widely used professional software tool for specifying and verifying concurrent and distributed systems. Models, written in a simple language called Promela, can be simulated randomly or interactively. Spin can generate efficient verifiers that search for a counterexample...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London :
Springer,
c2008
London : ©2008 |
| Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Stanford University
| Call Number: |
INTERNET RESOURCE |
|---|