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

Workshops Edit

See also Edit

FACS sml logo

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 Edit

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