MCRL2 (which stands for "Mathematical Computational Representation Language 2") is a specification language and model-checking tool designed for the formal verification of concurrent and distributed systems. It is particularly useful in the context of performance evaluation and verification of systems where multiple components may be interacting or executing in parallel.
New to topics? Read the docs here!