Abstract
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,
... read more