There are several ways to get support:

  • Please first browse our documentation pages to see if can find the answer to your question there.
  • If not, you can subscribe to our mailing list and post your question to the mCRL2 developers and other users.
  • If you think you have found a bug in our tools, you are welcome to submit a bug at our issue tracker.

If you appreciate the mCRL2 language or want to get in touch with mCRL2 users and developers, you can join the special mCRL2 community at LinkedIn.


When posting questions or reporting bugs, please describe your problem as clearly as possible and try to provide as much relevant information as you can. This greatly helps the mCRL2 team in trying to solve your problem.