An Analysis of Bitstate Hashing

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

An improved protocol reachability analysis technique

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

Engineering, Computer Science, Distributed Systems +15

On Limits and Possibilities of Automated Protocol Analysis

Gerard J. Holzmann · 1987 · 84 citations

Computing, Computer Science, Computer Systems +15

The Theory and Practice of A Formal Method: NewCoRe.

Gerard J. Holzmann · IFIP Congress · 1994 · 46 citations

Computing, Computer Science, Formal Methods +9

Modelization and verification of a multiprocessor realtime OS kernel.

Thierry Cattel · 1994 · 13 citations

Computing, Computer Engineering, Computer Science +17