Toolset for the mCRL2 formal specification language
mCRL2 (micro Common Representation Language 2) is a formal specification language for describing concurrent discrete event systems. Its toolset supports analysis and automatic verification, linearisation, simulation, state-space exploration and generation, and tools to optimise and analyse specifications. Also, state spaces can be manipulated, visualised and analysed.
| Linter | Message | Location |
|---|---|---|
| patch-file-names Validate file names and availability of patches | file names of patches should start with the package name |