mbse.cool: Languages | Methods | Tools | Vendors
MCRL2
formal specification language
- Instance of
- process calculus, specification language
- Website
- https://www.mcrl2.org/web/user_manual/index.html
- Listed in
- Specification languages
- Wikipedia
- MCRL2
- Wikidata
- Q6714982 (edit)
Methods
—
Tools
—
TODO · Colophon