mbse.cool: Languages | Methods | Tools | Vendors
Quint
executable specification language for distributed systems
- Instance of
- specification language
- Website
- https://quint.sh/
- Listed in
- Specification languages
- Wikidata
- Q140761647 (edit)
Methods
—
Tools
—
TODO · Colophon