Book of Donmon Teith

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

The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has

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

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

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