Skip to main content
Article thumbnail
Location of Repository

Specification and implementation of components of a μCRL toolbox

By D. Dams and J.F. Groote


We develop a set of tools to translate linear μCRL specifications to finite transition systems. These\ud tools are intended to function as the core of larger toolsets comprising model checkers, weak or\ud branching bisimulation checkers, simulators, etc. The main problem in constructing these larger\ud toolsets is to manage the software development process, especially, when many different people\ud are contributing. Therefore, and this makes our approach unique, we describe specifications\ud and implementations of the tools formally in μCRL. We realise the tools in C and let them\ud communicate via the Toolbus

Topics: Wijsbegeerte
Year: 1995
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.