Spin Model Checker

✍ Scribed by Gerard J. Holzmann

Publisher: Addison-Wesley Professional
Year: 2003
Tongue: English
Leaves: 690
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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 verification of complex call processing software that isused in telephone exchanges, to the validation of intricate control software for interplanetary spacecraft.

📜 SIMILAR VOLUMES

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

The spin model checker : primer and refe

📁 The spin model checker : primer and reference manual

✍ Gerard J Holzmann 📂 Library 📅 2004 🏛 Addison-Wesley 🌐 English

Checkered Flag Cheater

📁 Checkered Flag Cheater

📂 Fiction 🏛 Farrar, Straus and Giroux (BYR)