The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical basis for de- velopment of embedded, real-time, computer systems. This survey paper introduces novel specication lan- guages and verication techniques for four levels of de- velopment: Requirements denition and design; Pro- gram specications and their transformation to par- allel programs; Compilation of programs to hardware; and Compilation of real-time programs to conventional processors.
|Title of host publication||Proc. 5th Euromicro Workshop on Real-Time Systems|
|Publisher||IEEE Computer Society Press|
|Publication status||Published - 1993|
|Event||Proc. 5th Euromicro Workshop on Real-Time Systems - |
Duration: 1 Jan 1993 → …
|Conference||Proc. 5th Euromicro Workshop on Real-Time Systems|
|Period||01/01/1993 → …|