Normal view MARC view ISBD view

The spin model checker : primer and reference manual / Gerard J. Holzmann.

By: Holzmann, Gerard J.
Material type: TextTextPublisher: 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
Contents:
Table of contents
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Copy number Status Date due Barcode Item holds
E-Book E-Book EWU Library
E-book
Non-fiction 620.001171 HOS 2004 (Browse shelf) Not For Loan
Text Text EWU Library
Reserve Section
Non-fiction 620.001171 HOS 2004 (Browse shelf) C-1 Not For Loan 25720
Total holds: 0

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.

Log in to your account to post a comment.

Library Home | Contacts | E-journals
Copyright @ 2011-2019 EWU Library
East West University