Developing correct systems

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

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 languageEnglish
    Title of host publicationProc. 5th Euromicro Workshop on Real-Time Systems
    PublisherIEEE Computer Society Press
    Publication date1993
    Pages176-189
    Publication statusPublished - 1993
    EventProc. 5th Euromicro Workshop on Real-Time Systems -
    Duration: 1 Jan 1993 → …

    Conference

    ConferenceProc. 5th Euromicro Workshop on Real-Time Systems
    Period01/01/1993 → …

    Fingerprint Dive into the research topics of 'Developing correct systems'. Together they form a unique fingerprint.

    Cite this