mbse.cool: Languages | Methods | Tools | Vendors
Vendors > Gerard J. Holzmann
Dutch computer scientist (born 1951)
Gerard J. Holzmann is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
| Name | Description | Since |
|---|---|---|
| Promela | verification modeling language |
TODO ยท Colophon