The spin model checker : primer and reference manual / Gerard J. Holzmann.
By: Holzmann, Gerard J
.
Material type: 
TextPublisher: Boston : Addison-Wesley, c2004Description: xii, 596 p. : ill. ; 25 cm.ISBN: 0321228626; 9780321228628.Subject(s): Systems engineering -- Mathematical models | Computer programs -- TestingDDC classification: 620.001171 Other classification: 54.52 Online resources: WorldCat details | E-book Fulltext | Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
E-Book
|
EWU Library E-book | Non-fiction | 620.001171 HOS 2004 (Browse shelf) | Not For Loan | ||||
Text
|
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.