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.
Original language | English |
---|---|
Pages (from-to) | 143-153 |
Journal | Software : Practice and Experience |
Volume | 41 |
Issue number | 2 |
DOIs | |
Publication status | Published - 2011 |