Related Books
Language: en
Pages: 225
Pages: 225
Type: BOOK - Published: 2008-04-13 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 596
Pages: 596
Type: BOOK - Published: 2004 - Publisher: Addison-Wesley Professional
The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has
Language: en
Pages: 253
Pages: 253
Type: BOOK - Published: 2020-04-28 - Publisher: Taylor & Francis
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
Language: en
Pages: 994
Pages: 994
Type: BOOK - Published: 2008-04-25 - Publisher: MIT Press
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive exampl
Language: en
Pages: 520
Pages: 520
Type: BOOK - Published: 1991 - Publisher:
This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol