Abstract
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.
Original language | English |
---|---|
Title of host publication | Proc. 5th Euromicro Workshop on Real-Time Systems |
Publisher | IEEE Computer Society Press |
Publication date | 1993 |
Pages | 176-189 |
Publication status | Published - 1993 |
Event | Proc. 5th Euromicro Workshop on Real-Time Systems - Duration: 1 Jan 1993 → … |
Conference
Conference | Proc. 5th Euromicro Workshop on Real-Time Systems |
---|---|
Period | 01/01/1993 → … |