Abstract
The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical basis for development of embedded, realtime, computer systems. This survey paper introduces the specification languages and verification techniques for four levels of development: Requirements definition and control design; Transformation to a systems architecture with program designs and their transformation to programs; Compilation of real-time programs to conventional processors, and Compilation of programs to hardware.
Cite
CITATION STYLE
He, J., Hoare, C. A. R., Fräinzle, M., Müller-Olm, M., Olderog, E. R., Schenke, M., … Rischel, H. (1994). Provably correct systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 863 LNCS, pp. 288–335). Springer Verlag. https://doi.org/10.1007/3-540-58468-4_171
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
