Developing Correct Systems
Jonathan P. Bowen, Ernst-Rüdiger Olderog, Martin Fränzle, A.P. Ravin · 1993
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 novel specification languages and verification techniques for four levels of development: Requirements definition and design; Program specifications and their transformation to parallel programs; Compilation of programs to hardware; and Compilation of real-time programs to conventional processors.