next up previous

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

Abstract:

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.


Back to the VASY Home page