G
Gerard J. Holzmann
Researcher at Jet Propulsion Laboratory
Publications - 171
Citations - 16474
Gerard J. Holzmann is an academic researcher from Jet Propulsion Laboratory. The author has contributed to research in topics: Model checking & Software verification. The author has an hindex of 48, co-authored 169 publications receiving 16140 citations. Previous affiliations of Gerard J. Holzmann include Alcatel-Lucent & Goddard Space Flight Center.
Papers
More filters
Journal ArticleDOI
The model checker SPIN
TL;DR: An overview of the design and structure of the verifier, its theoretical foundation, and an overview of significant practical applications are given.
Book
The SPIN Model Checker: Primer and Reference Manual
TL;DR: The SPIN Model Checker as mentioned in this paper is used for both teaching software verification techniques, and for validating large scale applications, and it has been estimated that up to three-quarters of the $400 billion spent annually to hire programmers in the United States is ultimately spent on debugging.
Book
Design and validation of computer protocols
TL;DR: Part 1 Basic: introduction protocol structure error control flow control and design tools: a protocol simulator a protocol validator using the validator.
Book ChapterDOI
Optimizing Büchi Automata
TL;DR: A family of optimizations implemented in a translation from a linear temporal logic to Buchi automata can enhance the efficiency of model checking, as practiced in tools such as SPIN.