EPSRC logo

Details of Grant 

EPSRC Reference: GR/K57381/01
Title: MECHANISING TEMPORAL REASONING
Principal Investigator: Paulson, Professor LC
Other Investigators:
Gordon, Professor M
Researcher Co-Investigators:
Project Partners:
Department: Computer Laboratory
Organisation: University of Cambridge
Scheme: Standard Research (Pre-FEC)
Starts: 01 November 1995 Ends: 30 April 1999 Value (£): 181,335
EPSRC Research Topic Classifications:
Artificial Intelligence
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
Development using Isabelle of a theorem proving environment that supports a wide spectrum of temporal reasoning, ranging from model checking to user guided proof.
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.cam.ac.uk