EPSRC logo

Details of Grant 

EPSRC Reference: GR/R90635/01
Title: Development of a next generation theorem prover
Principal Investigator: Voronkov, Professor A
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: University of Manchester, The
Scheme: Standard Research (Pre-FEC)
Starts: 01 March 2002 Ends: 31 August 2005 Value (£): 306,463
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
Panel History:  
Summary on Grant Application Form
Development of our theorem prover Vampire into a system with advanced application-oriented features. Building Vampire into other systems used in universities and industry, such as higher-order logic provers, automated proof assistants, logical frameworks, knowledge-based systems, and verification systems.The project will be carried out in close cooperation with the developers of these systems, including Intel, Cycorp, Cambridge, and CMU.
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.man.ac.uk