Fandom

Formal Methods Wiki

ProCoS I

120pages on
this wiki
Add New Page
Talk1 Share
Procos
Ecstars-small

ProCoS I project Edit

This document contains information relevant to the ESPRIT ProCoS I project (no. 3104, 1989–1992) on Provably Correct Systems that was the forerunner of the ProCoS II project. The project based its investigations around the occam and transputer paradigm and ran from 1989 for 2½ years. A summary of the project plans was published at the start of the project:

A ProCoS Project Description: ESPRIT BRA 3104, Dines Bjørner, C.A.R. Hoare, Jonathan P. Bowen, He Jifeng, Hans Langmaack, Ernst-Rüdiger Olderog, Ursula Martin, Victoria Stavridou, Fleming Nielson, Hanne Riis Nielson, Howard Barringer, Doug Edwards, Hans Henrik Løvengreen, Anders Ravn and Hans Rischel. Bulletin of the European Association for Theoretical Computer Science (EATCS), 39, pages 60-73, October 1989.

The results of the project are available as a large technical report:

Dines Bjørner, Hans Langmaack and C.A.R. Hoare (eds.), Provably Correct Systems, ProCoS Technical Report [ID/DTH DB 13/1], Dept. of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark, January 1993.

A published summary of ProCoS I produced at the end of the project is also available:

Dines Bjørner, Trusted computing systems, Proc. 14th International Conference on Software Engineering (ICSE), Melbourne, Australia, 11–14 May 1992 (North-Holland, 1992).


Maintained by Jonathan Bowen as part of the ProCoS archive.
Comments and requests are welcome.

procos-request@comlab.ox.ac.uk

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.