Premium
Experiences in developing the mCRL2 toolset
Author(s) -
Groote J. F.,
Keiren J. J. A.,
Stappers F. P. M.,
Wesselink J. W.,
Willemse T. A. C.
Publication year - 2011
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.1021
Subject(s) - computer science , formal methods , software engineering , developing country , engineering management , engineering , economics , economic growth
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.