The spin model checker : primer and reference manual

✍ Scribed by Gerard J Holzmann

Publisher: Addison-Wesley
Year: 2004
Tongue: English
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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

📜 SIMILAR VOLUMES

The SPIN Model Checker: Primer and Refer

📁 The SPIN Model Checker: Primer and Reference Manual

✍ Gerard J. Holzmann 📂 Library 📅 2003 🏛 Addison-Wesley Professional 🌐 English

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

Spin Model Checker

📁 Spin Model Checker

✍ Gerard J. Holzmann 📂 Library 📅 2003 🏛 Addison-Wesley Professional 🌐 English

SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defectsin concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteenyears ago. The tool has been applied to everything from the veri

Principles of the Spin Model Checker

📁 Principles of the Spin Model Checker

✍ Mordechai Ben-Ari 📂 Library 📅 2008 🏛 Springer 🌐 English

Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool

Principles of the Spin model checker

📁 Principles of the Spin model checker

✍ M Ben-Ari 📂 Library 📅 2008 🏛 Springer 🌐 English

Principles of the Spin Model Checker

📁 Principles of the Spin Model Checker

✍ Mordechai Ben-Ari BSc, MSc, PhD (auth.) 📂 Library 📅 2008 🏛 Springer-Verlag London 🌐 English

<p><P>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 counterex

The Unified Modeling Language Reference

📁 The Unified Modeling Language Reference Manual

✍ James Rumbaugh, Ivar Jacobson, Grady Booch 📂 Library 📅 1999 🏛 Addison-Wesley 🌐 English

This book has 4 parts. Part 1, Background, contains an UML Overview - UML summary, goals, complexity, assessment and concept areas - and a short overview on models, their meaning and purposes. Part 2, UML Concepts, contains an UML Walkthrough that summarizes all UML views, followed by short chapters