Application areas for the correctness
and performance analysis of concurrent systems
Examples of concurrent systems include railway signalling
systems, communication protocols and flexible
manufacturing systems. Ideally these systems should be modelled and
tested before implementation when mistakes are easier (and cheaper) to
correct.