Experience in developing the mCRL2 toolset
| Autor: | Groote, J.F., Keiren, J.J.A., Stappers, F.P.M., Wesselink, J.W., Willemse, T.A.C., Gervais, F., Fraikin, B. |
|---|---|
| Přispěvatelé: | Design and Analysis of Systems, Formal System Analysis |
| Jazyk: | angličtina |
| Rok vydání: | 2010 |
| Zdroj: | Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010), 1-3 STARTPAGE=1;ENDPAGE=3;TITLE=Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010) |
| Popis: | mCRL2 is a language with a toolset for formal analysis of behaviour of concurrent systems. It is developed in an academic research group to support process algebra based verification in an academic as well as an industrial setting. This paper provides an insight into the experiences and practises in developing and maintaining the mCRL2 toolset. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|