Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:Delft_University_of_Technology
|
| gptkbp:author |
Design and Validation of Computer Protocols
Principles of Protocol Design The SPIN Model Checker: Primer and Reference Manual |
| gptkbp:awardReceived |
gptkb:ACM_Fellow
gptkb:IEEE_Fellow Edsger W. Dijkstra Prize |
| gptkbp:birthPlace |
gptkb:Netherlands
|
| gptkbp:birthYear |
1951
|
| gptkbp:employer |
gptkb:NASA_Jet_Propulsion_Laboratory
|
| gptkbp:field |
formal methods
software verification |
| https://www.w3.org/2000/01/rdf-schema#label |
Gerard J. Holzmann
|
| gptkbp:knownFor |
gptkb:SPIN_model_checker
|
| gptkbp:memberOf |
gptkb:National_Academy_of_Engineering
|
| gptkbp:nationality |
Dutch
|
| gptkbp:occupation |
gptkb:computer_scientist
|
| gptkbp:website |
http://spinroot.com/gerard/
|
| gptkbp:bfsParent |
gptkb:SPIN_model_checker
|
| gptkbp:bfsLayer |
6
|