The spin model checker : primer and reference manual / Gerard J. Holzmann.
By: Holzmann, Gerard J
Material type: 


Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
EWU Library E-book | Non-fiction | 620.001171 HOS 2004 (Browse shelf) | Not For Loan | ||||
![]() |
EWU Library Reserve Section | Non-fiction | 620.001171 HOS 2004 (Browse shelf) | C-1 | Not For Loan | 25720 |
Includes bibliographical references (p. 545-552) and index.
Table of contents 1. Finding Bugs in Concurrent Systems --
2. Building Verification Models --
3. An Overview of PROMELA --
4. Defining Correctness Claims --
5. Using Design Abstraction --
6. Automata and Logic --
7. PROMELA Semantics --
8. Search Algorithms --
9. Search Optimization --
10. Notes on Model Extraction --
11. Using SPIN --
12. Notes on XSPIN --
13. The TimeLine Editor --
14. A Verification Model of a Telephone Switch --
15. Sample SPIN Models --
16. PROMELA Language Reference --
17. Embedded C Code --
18. Overview of SPIN Options --
19. Overview of PAN Options --
App. A. Automata Products --
App. B. The Great Debates --
App. C. Exercises with SPIN --
App. D. Downloading SPIN.
Computer Science & Engineering
There are no comments for this item.