An Overview of the mCRL2 Toolset and Its Recent Advances.

Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse

Browse the full TACAS paper archive.