At a Glance
| Applications | Model Checker |
| Developers | Eindhoven University of Technology |
| Licenses | BSL |
| Maintenance | Actively Maintained |
Description
mCRL2 is a formal specification language with an associated toolset. The toolset can be used for modelling, validation and verification of concurrent systems and protocols.