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
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.