Gerard J. Holzmann

The model checker SPIN

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

Computing, Computer Engineering, Computer Science +12

An Analysis of Bitstate Hashing

Gerard J. Holzmann · Formal Methods in System Design · 1998 · 173 citations

Computing, Computer Engineering, Computer Science +10

The Design of a Multicore Extension of the SPIN Model Checker

Gerard J. Holzmann, Dragan Bošnački · IEEE Transactions on Software Engineering · 2007 · 130 citations · Full text

Computing, Computer Engineering, Computer Science +16

Swarm Verification Techniques

Gerard J. Holzmann, Rajeev Joshi, Alex Groce · IEEE Transactions on Software Engineering · 2010 · 88 citations

Computing, Computer Engineering, Computer Science +12

A mini challenge: build a verifiable filesystem

Rajeev Joshi, Gerard J. Holzmann · Formal Aspects of Computing · 2007 · 80 citations · Full text

Computing, Computer Engineering, Computer Science +13