Dr. S. R. Lasker Library Online Catalogue

Home      Library Home      Institutional Repository      E-Resources      MyAthens      EWU Home

Amazon cover image
Image from Amazon.com

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

By: Holzmann, Gerard JMaterial type: TextTextLanguage: English Publication details: Boston : Addison-Wesley, c2004. Description: xii, 596 p. : ill. ; 25 cmISBN: 0321228626; 9780321228628Subject(s): Systems engineering -- Mathematical models | Computer programs -- TestingDDC classification: 620.001171 LOC classification: TA168.H65 2004Other classification: 54.52 Online resources: WorldCat details | E-book Fulltext
Contents:
TOC
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Copy number Status Date due Barcode Item holds
E-Book E-Book Dr. S. R. Lasker Library, EWU
E-book 		Non-fiction 620.001171 HOS 2004 (Browse shelf(Opens below)) Not For Loan
Text Text Dr. S. R. Lasker Library, EWU
Reserve Section 		Non-fiction 620.001171 HOS 2004 (Browse shelf(Opens below)) C-1 Not For Loan 25720
Total holds: 0

Includes bibliographical references (p. 545-552) and index.

TOC 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.

CSE

Tahur Ahmed

There are no comments on this title.

to post a comment.