mbse.cool: Languages | Methods | Tools | Vendors
Promela
verification modeling language
- Instance of
- modeling language, specification language
- Developer
- Gerard J. Holzmann
- Listed in
- Modelling languages, Specification languages
- Wikipedia
- Promela
- Wikidata
- Q948666 (edit)
Methods
—
Tools
—
TODO · Colophon