EPSRC logo

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