A Network for the Verified Software Repository UK EPSRC Network (EP/D506735/1) Grand Challenge 6: Dependable Systems Evolution Investigators: 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