Gerard J. Holzmann

An Improvement in Formal Verification

Gerard J. Holzmann, Doron Peled · IFIP advances in information and communication technology · 1995 · 230 citations · Full text

Computing, Computer Science, Formal Methods +16

Software model checking: extracting verification models from source code†

Gerard J. Holzmann, Margaret Smith · Software Testing Verification and Reliability · 2001 · 167 citations

Computing, Computer Engineering, Computer Science +17

Implementing statecharts in PROMELA/SPIN

Erich Mikk, Yassine Lakhnech, Michael I. Siegel et al. · 2002 · 157 citations

Computing, Computer Engineering, Computer Science +17

A practical method for verifying event-driven software

Gerard J. Holzmann, Margaret Smith · 1999 · 133 citations · Full text

Computing, Computer Systems, Method Validation +4

An improved protocol reachability analysis technique

Gerard J. Holzmann · Software Practice and Experience · 1988 · 131 citations

Engineering, Computer Science, Distributed Systems +15