Towards model checking executable UML specifications in mCRL2

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol. Towards model checking executable UML specifications in mCRL2. ISSE, 6(1-2):83-90, 2010. [doi]

Abstract

Abstract is missing.