Gerard J. Holzmann

Gerard J. Holzmann

Gerard J. Holzmann (@gh_spin) is a Dutch-born American computer scientist and researcher at Bell Labs and NASA. Holzmann is known for the development of the SPIN model checker (SPIN is short for Simple Promela Interpreter) in the 1980s at Bell Labs. This device can verify the correctness of distributed software, since 1991 freely available. His specialities include software reliability, software verification techniques, image processing, and logic model checking.

Back to all authors

Books Authored by Gerard J. Holzmann

[No longer publicly accessible] Design And Validation Of Computer Protocols

Post date: 05 Jan 2005
Discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail.
Publisher: Prentice Hall
Publication date: 31 Dec 1991
Document Type: Textbook
 
[No longer publicly accessible] Design And Validation Of Computer Protocols

[No longer publicly accessible] Design And Validation Of Computer Protocols

Post date: 05 Jan 2005
Discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail.
Publisher: Prentice Hall
Publication date: 31 Dec 1991
Document Type: Textbook


Book Categories
Sponsors
Icons8, a free icon pack