Developing correct systems

Jonathan P. Bowen; Martin Fränzle; Ernst-Rüdiger Olderog; Anders P. Ravn

Developing correct systems

Jonathan P. Bowen, Martin Fränzle, Ernst-Rüdiger Olderog, Anders P. Ravn

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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 → …

OpenUrl availability

Full text

Cite this

@inproceedings{29802b8ab7704b30ae73b64c4618a33b,

title = "Developing correct systems",

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.",

author = "Bowen, {Jonathan P.} and Martin Fr{\"a}nzle and Ernst-R{\"u}diger Olderog and Ravn, {Anders P.}",

year = "1993",

language = "English",

pages = "176--189",

booktitle = "Proc. 5th Euromicro Workshop on Real-Time Systems",

publisher = "IEEE Computer Society Press",

note = "Proc. 5th Euromicro Workshop on Real-Time Systems ; Conference date: 01-01-1993",

}

TY - GEN

T1 - Developing correct systems

AU - Bowen, Jonathan P.

AU - Fränzle, Martin

AU - Olderog, Ernst-Rüdiger

AU - Ravn, Anders P.

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

M3 - Article in proceedings

SP - 176

EP - 189

BT - Proc. 5th Euromicro Workshop on Real-Time Systems

PB - IEEE Computer Society Press

T2 - Proc. 5th Euromicro Workshop on Real-Time Systems

Y2 - 1 January 1993

ER -

Developing correct systems

Abstract

Conference

OpenUrl availability

Fingerprint

Cite this