Authors
Jifeng He, Charles AR Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R Hansen, Anders P Ravn, Hans Rischel
Publication date
1994
Source
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems—ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings 3
Pages
288-335
Publisher
Springer Berlin Heidelberg
Description
The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical basis for development of embedded, real-time, 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.
Total citations
1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232131821712665312271212511112121
Scholar articles
J He, CAR Hoare, M Fränzle, M Müller-Olm… - Formal Techniques in Real-Time and Fault-Tolerant …, 1994