Final Report of the COST-247 Action |
Specification and Implementation of Components of a Toolbox for muCRL
Jan Friso Groote
Centrum voor Wiskunde en Informatica |
Specification and Analysis of Embedded Systems |
P.O. Box 94079 |
1090 GB Amsterdam |
The Netherlands |
Email: jfg@cwi.nl |
Tel. +31-20-5924232 |
Fax. +31-20-5924199 |
Using the toolbus we have developed a set of tools to build toolsets for muCRL. In order to use our own methodology we have first specified the required behaviour of the tools as well as an implementation in muCRL. In principle this would allow to prove the correctness of the implementations. Then, the tools have been realized using C. Our conclusion is that the design of the systems in muCRL was the major part of the work, but led to very concise and intelligible descriptions. Implementation in C was for the major part a straightforward activity.
This presentation has been given during the COST-247 7th Management Committee Meeting (Madrid, Spain, February, 12--13, 1995).
COST-247 Working Group(s): 1
Web link: http://www.cwi.nl/~jfg
This Page was prepared by Mark Jorgensen.