System Modelling

Module code: CO7094

In this module you will study and practice with two different type of specification languages which are often used in conjunction with describing different aspects of systems. The notation Z is suitable for describing transformational aspects, i.e. how the actions of a system operate on data. The process language CSP lets you describe the reactive behaviour of systems, i.e. the processes as part of which actions are executed and the communication channels through which processes communicate.

Both languages come with various tools to verify properties of the specifications and to help in the refinement process from specification to program.