Survey of Formal Specification Techniques for Reactive Systems
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.
Technical Report
CMU/SEI-90-TR-005
May 1990
Find Us Here
Share This Page
For more information
