A ProCoS II Project Final Report: ESPRIT Basic Research project 707

J. P. Bowen, C. A. R. Hoare, Hans Langmaack, Ernst-Ruediger Olderog, Anders P. Ravn

    Research output: Contribution to journalJournal articleResearchpeer-review

    Abstract

    An overview of the research and associated activities of the Europeancollaborative ESPRIT Basic Research ProCoS II project (no. 7071) on``Provably Correct Systems'' which ran from 1992 to 1995 is presented.This was a follow-on project to ProCoS (no. 3104) and ran inparallel with the ProCoS Working Group (no. 8694), all previouslyannounced in the Bulletin of the EATCS. Acomprehensive bibliography of publications with selected projectdocuments is included for those wishing to study the results of theproject in greater depth.
    Original languageEnglish
    JournalBulletin of the European Association for TheoreticalComputer Science (EATCS)
    Volume59
    Pages (from-to)76-99
    Publication statusPublished - 1996

    Cite this

    Bowen, J. P., Hoare, C. A. R., Langmaack, H., Olderog, E-R., & Ravn, A. P. (1996). A ProCoS II Project Final Report: ESPRIT Basic Research project 707. Bulletin of the European Association for TheoreticalComputer Science (EATCS), 59, 76-99.