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
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
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
Design and Validation of Computer Protocols
Language: en
Pages: 520
Authors: Gerard J. Holzmann
Categories: Computers
Type: BOOK - Published: 1991 - Publisher:

DOWNLOAD EBOOK

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