Formal Methods Wiki

A Network for the Verified Software Repository
UK EPSRC Network (EP/D506735/1)

Grand Challenge 6: Dependable Systems Evolution

Jim Woodcock (The University of York)
Jonathan Bowen (London South Bank University)
Peter O'Hearn (Queen Mark University of London)

Academic secretary: Paul Boca (BCS-FACS)
Administration: Caroline Moore (The University of York)

Duration: 1 September 2005 to 31 August 2008.
See: FM05 Workshop, Newcastle-upon-Tyne, UK, 18 July 2005

4th VSR-net meeting, University of York, 5-6 October 2006


See also[]


Acknowledgement: The support of the BCS-FACS Specialist Group and the British Computer Society itself in the use of the BCS Offices in Covent Garden, London for meetings is gratefully acknowledged.

External links[]

Maintained by Prof. Jonathan Bowen (Museophile Limited)
Last updated 6 November 2010
Further information and links for possible inclusion are welcome.