We develop a set of tools to translate linear μCRL specifications to finite transition systems. These
tools are intended to function as the core of larger toolsets comprising model checkers, weak or
branching bisimulation checkers, simulators, etc. The main problem in constructing these larger
toolsets is to manage the software development process, especially, when many different people
are contributing. Therefore, and this makes our approach unique, we describe specifications
and implementations of the tools formally in μCRL. We realise the tools in C and let them
communicate via the Toolbus
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.