@inproceedings{90196b56acd746ffb8c5cc8407a2cc25,
title = "Provably correct systems",
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.",
author = "Jifeng He and Hoare, \{C. A.R.\} and Martin Fr{\"a}inzle and Markus M{\"u}ller-Olm and Olderog, \{Ernst R{\"u}diger\} and Michael Schenke and Hansen, \{Michael R.\} and Ravn, \{Anders P.\} and Hans Rischel",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1994.; 3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994 ; Conference date: 19-09-1994 Through 23-09-1994",
year = "1994",
doi = "10.1007/3-540-58468-4\_171",
language = "英语",
isbn = "9783540584681",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "288--335",
editor = "Hans Langmaack and \{de Roever\}, Willem-Paul and Jan Vytopil and Jan Vytopil",
booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings",
address = "德国",
}