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

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

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive exampl

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 is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has