Principles of the Spin Model Checker

Principles of the Spin Model Checker
Author :
Publisher : Springer Science & Business Media
Total Pages : 225
Release :
ISBN-10 : 9781846287701
ISBN-13 : 1846287707
Rating : 4/5 (707 Downloads)

Book Synopsis Principles of the Spin Model Checker by : Mordechai Ben-Ari

Download or read book Principles of the Spin Model Checker written by Mordechai Ben-Ari and published by Springer Science & Business Media. This book was released on 2008-04-13 with total page 225 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is the first introductory textbook on Spin, 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 but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching. Complete programs demonstrate each construct and concept and these programs are available on a companion website.


Principles of the Spin Model Checker Related Books

Principles of the Spin Model Checker
Language: en
Pages: 225
Authors: Mordechai Ben-Ari
Categories: Computers
Type: BOOK - Published: 2008-04-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is e
An Overview of the SPIN Model Checker
Language: en
Pages:
Authors: Gerard J. Holzmann
Categories:
Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

SPINĀ® -Selling
Language: en
Pages: 253
Authors: Neil Rackham
Categories: Business & Economics
Type: BOOK - Published: 2020-04-28 - Publisher: Taylor & Francis

DOWNLOAD EBOOK

True or false? In selling high-value products or services: 'closing' increases your chance of success; it is essential to describe the benefits of your product
The Spin Model Checker
Language: en
Pages: 596
Authors: Gerard J. Holzmann
Categories: Computers
Type: BOOK - Published: 2004 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has
Design and Validation of Computer Protocols
Language: en
Pages: 520
Authors: Gerard J. Holzmann
Categories: Computers
Type: BOOK - Published: 1991 - Publisher:

DOWNLOAD EBOOK

This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol