Experiences in developing the mCRL2 toolset

Experiences in developing the mCRL2 toolset

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 fo...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Software, practice & experience practice & experience, 2011-02, Vol.41 (2), p.143-153
Hauptverfasser: Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W., Willemse, T. A. C.
Format: Artikel
Sprache:eng
Schlagworte:
Computer programs
Formal method
Software
software engineering
software modelling
software quality
verification
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0038-0644
1097-024X
1097-024X
DOI:10.1002/spe.1021