Provably Correct Systems
This resource provides links to information relevant to various projects and other initiatives conducting research in the area of Provably Correct Systems, mainly with European ESPRIT support unless otherwise stated:
- ProCoS I project (no. 3104, 1989–1991)
- ProCoS II project (no. 7071, 1992–1995)
- ProCoS-WG Working Group (no. 8694, 1994–1997)
- UK EPSRC Provably Correct Hardware/Software Co-design project (1993–1996);
- ESPRIT/NSF ProCoS-US (EC-US027, 1993-1997) European / US travel grant on Provably Correct Hardware Compilation;
- KIT (Keep in Touch) travel grant (1993–1998) with Zhou ChaoChen, UNU/IIST (Macau).
- PROCORSYS KIT (Keep in Touch) travel grant (KIT 142, 1994–1997) with Augusto Sampaio, Departamento de Informatica Universidade Federal de Pernambuco (Brazil).
- EPSRC Visting Fellowship (1996–1997) to study Provably Correct Real Time Systems for Michael Schenke, Oldenburg University, Germany.
A summary of the ProCoS II project published in the Bulletin of the EATCS (10 pages) and another produced for a project review (13 pages) are available, together with a 2-page summary of the Working Group. A more technical overview (12 pages) of the project may also be found online.
See also information on archives of on-line project documents and publications from the ProCoS II project's partner sites:
- Technical University of Denmark
- Kiel University (Germany)
- Oldenburg University (Germany)
- Oxford University (UK)
Personnel involved with ProCoS at Oxford, the original coordinating site, included Prof. C.A.R. Hoare and Prof. He Jifeng. Joan Arnold was the project and Working Group secretary. Jonathan Bowen leads the Centre for Applied Formal Methods at London South Bank University, and continues to manage an informal [ProCoS-WG|working group] of partners.
For further information please email firstname.lastname@example.org.
- Current research grant and past research grant information and other OUCL research.
- ECBS / ProCoS Common Workshop, 15–16 February 1995, Munich, Germany.
(On-line information not longer available.)
- Human Capital and Mobility Project EuroFORM at Madrid and elsewhere which is investigating Formal Methods for Correct System Design.
- ESPRIT Framework IV Information Package.
- ESPRIT Long Term Research synopses.
Virtual Library information