Details of Grant 

EPSRC Reference:	EP/D506735/1
Title:	Network: VSR-net: A Network for the Verified Software Repository
Principal Investigator:	Woodcock, Professor JCP
Other Investigators:	Bowen, Professor JP O'Hearn, Professor P
Researcher Co-Investigators:
Project Partners:
Department:	Computer Science
Organisation:	University of York
Scheme:	Standard Research (Pre-FEC)
Starts:	01 October 2005	Ends:	30 September 2008	Value (£):	62,165
EPSRC Research Topic Classifications:	Software Engineering
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
We propose to establish a network of UK researchers who will take a lead in planning an international Grand Challenge Project in Computer Science. It is expected that the international project will deliver a coherent collection of scientific theories of programming, a technology supported by a prototype software engineering toolset, and a comprehensive and convincing series of experimental applications. When combined with the results of continuing research into dependability and evolution, the results of the international project will encourage and enable a radical change in the practice of software engineering, permitting development and evolution of computer systems of certified dependability, together with a radical reduction in the cost of program testing.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.york.ac.uk