mCRL2 or μCRL were used for the following case studies and examples.
This list is by no means complete.
A set of benchmark models that includes mCRL2 specifications is the
Previous releases of mCRL2
AIA ITP load-balancer
Enter search terms or a module, class or function name.