Computing
Software engineering
Formal methods
Provably Correct Systems[]
Last meeting: ProCoS Workshop, London, UK, 9-10 March 2015
Previous meeting: ProCoS Workshop, FM'99 World Congress on Formal Methods, Toulouse, France, 22 September 1999
Last Working Group meeting: 5th ProCoS-WG Working Group Meeting
University of Reading, UK, 7–9 April 1997
Last "Keep In Touch" meeting: ESPRIT-KIT 010 Wrap-up Workshop, UNU/IIST, Macau↑, 25–29 May 1998
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.
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 online.
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. 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 procos-request@jiscmail.ac.uk.
See also:
- 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[]
Centre for Applied Formal Methods, London South Bank University↑. Maintained by Prof. Jonathan Bowen.