FANDOM


Fmnet-logo

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

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.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.