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 (01 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
Principles of Model Checking
Language: en
Pages: 994
Authors: Christel Baier
Categories: Computers
Type: BOOK - Published: 2008-04-25 - Publisher: MIT Press

DOWNLOAD EBOOK

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive exampl
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
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
Model Checking Software
Language: en
Pages: 252
Authors: Thomas Ball
Categories: Computers
Type: BOOK - Published: 2003-04-28 - Publisher: Springer Science & Business Media

DOWNLOAD 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