FMnet

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 | edit source]

See also[edit | edit source]

BCS-FACS

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 | edit source]


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

Community content is available under CC-BY-SA unless otherwise noted.