Experiences in developing the mCRL2 toolset
Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, J.W. Wesselink, Tim A. C. Willemse · Software Practice and Experience · 2010
Abstract This paper presents practices and experiences in developing the formal methods toolset mCRL2. Findings are presented based on years of experiences in developing tools in an academic environment. Practical problems and ways to solve them are discussed. We also present the direction that we foresee for the coming years of development in formal methods tool support. Copyright © 2010 John Wiley & Sons, Ltd.