Survey of Formal Specification Techniques for Reactive Systems
• Technical Report
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-90-TR-005Abstract
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.
Cite This Technical Report
Place, P., Wood, W., & Tudball, M. (1990, May 1). Survey of Formal Specification Techniques for Reactive Systems. (Technical Report CMU/SEI-90-TR-005). Retrieved April 19, 2024, from https://insights.sei.cmu.edu/library/survey-of-formal-specification-techniques-for-reactive-systems/.
@techreport{place_1990,
author={Place, Patrick and Wood, William and Tudball, Mike},
title={Survey of Formal Specification Techniques for Reactive Systems},
month={May},
year={1990},
number={CMU/SEI-90-TR-005},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/survey-of-formal-specification-techniques-for-reactive-systems/},
note={Accessed: 2024-Apr-19}
}
Place, Patrick, William Wood, and Mike Tudball. "Survey of Formal Specification Techniques for Reactive Systems." (CMU/SEI-90-TR-005). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, May 1, 1990. https://insights.sei.cmu.edu/library/survey-of-formal-specification-techniques-for-reactive-systems/.
P. Place, W. Wood, and M. Tudball, "Survey of Formal Specification Techniques for Reactive Systems," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-90-TR-005, 1-May-1990 [Online]. Available: https://insights.sei.cmu.edu/library/survey-of-formal-specification-techniques-for-reactive-systems/. [Accessed: 19-Apr-2024].
Place, Patrick, William Wood, and Mike Tudball. "Survey of Formal Specification Techniques for Reactive Systems." (Technical Report CMU/SEI-90-TR-005). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 May. 1990. https://insights.sei.cmu.edu/library/survey-of-formal-specification-techniques-for-reactive-systems/. Accessed 19 Apr. 2024.
Place, Patrick; Wood, William; & Tudball, Mike. Survey of Formal Specification Techniques for Reactive Systems. CMU/SEI-90-TR-005. Software Engineering Institute. 1990. https://insights.sei.cmu.edu/library/survey-of-formal-specification-techniques-for-reactive-systems/