Software Engineering Institute Carnegie Mellon

Survey of Formal Specification Techniques for Reactive Systems

Place, P.
Wood, W.

Technical Report
CMU/SEI-90-TR-005

This document is unavailable online. Please refer to the instructions for purchasing paper copies of SEI documents.

Formal methods are being considered for the description of many systems including systems with real-time constraints and multiple concurrently executing processes. This report develops a set of evaluation criteria and evaluates Communicating Sequential Processes (CSP), the Vienna Development Method (VDM), and temporal logic. The evaluation is based on specifications, written with each of the techniques, of an example avionics system.