Provably Correct Systems

• 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 sniversidade Federal de Pernambuco (Brazil).

• EPSRC Visting Fellowship (1996-1997) to study Provably Correct Real Time Systems for Michael Schenke, Oldenburg University, Germany.

Some mainly older on-line files are available via anonymous FTP with an index and a README file. Information on the related UK safemos project is also available.

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 on-line.

ProCoS supported ZUM'94, FTRTFT'94, ZUM'95 and ZUM'97. Many ProCoS personnel attended the Dagstuhl Seminar on the Steam Boiler Control Specification Problem, 5-9 June 1995.

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, but has now left. Jonathan Bowen leads the Centre for Applied Formal Methods at London South Bank University, and continues to manage an informal working group of partners.

For further information please email procos-request@jiscmail.ac.uk.

• 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

• Formal methods
• Safety-critical systems

FTP directories

• Oxford
• Reading
• South Bank