Software prototyping using CADET

Many formal techniques exist for describing the behaviour of distributed systems and most are supported by formal mathematics by which specification can be proven against their designs. However, little is available to help an engineer evaluate a high level specification during the earliest stages of a design. This paper presents the Causality Diagram Evaluation Tool (CADET) for the prototyping of very high level specifications of control systems constructed using the formalism of Communicating Sequential Processes (CSP). The aim is to relieve the burden of verification from design engineers and to make formal methods more accessible to them