Cover of Design and validation of computer protocols
View on Open Library ↗

Design and validation of computer protocols

by

2 hrs read
Rate this book:
500 pages 1991

About This Book

How to design communication protocols using the Promela language and check them with the Spin model checker.

Buy This Book

Amazon Hardcover → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Write a Review

Sign in to write a review.

More by Gerard J. Holzmann

Partial order methods in verification
Partial order methods in verification
1997
The early history of data networks
The early history of data networks
1995
The SPIN Model Checker
The SPIN Model Checker
2003

View all books by Gerard J. Holzmann →