Gerard J. Holzmann

Publications by Year

Research Areas

Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Security and Verification in Computing, Logic, programming, and type systems

Most-Cited Works

• → The model checker SPIN(1997)3,746 cited
• Spin model checker, the: primer and reference manual(2003)
• → On nested depth first search(1997)183 cited
• → An Analysis of Bitstate Hashing(1998)172 cited
• → The Design of a Multicore Extension of the SPIN Model Checker(2007)128 cited
• → Logic Verification of ANSI-C Code with SPIN(2000)109 cited
• → Swarm Verification Techniques(2010)88 cited
• → Parallelizing the Spin Model Checker(2012)82 cited
• → A mini challenge: build a verifiable filesystem(2007)80 cited
• → Algorithms for Automated Protocol Verification(1990)56 cited