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

GET 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
Model Checking Software
Language: en
Pages: 252
Authors: Thomas Ball
Categories: Computers
Type: BOOK - Published: 2003-04-28 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in Ma
Model Checking Software
Language: en
Pages: 319
Authors: Susanne Graf
Categories: Computers
Type: BOOK - Published: 2004-03-18 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April
Model Checking Software
Language: en
Pages: 352
Authors: Klaus Havelund
Categories: Computers
Type: BOOK - Published: 2008-07-25 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in A
Design and Validation of Computer Protocols
Language: en
Pages: 520
Authors: Gerard J. Holzmann
Categories: Computers
Type: BOOK - Published: 1991 - Publisher:

GET EBOOK

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