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
No information has been submitted for this grant.
Potential use in non-academic contexts
No information has been submitted for this grant.
Impacts
No information has been submitted for this grant.
Sectors submitted by the Researcher
No information has been submitted for this grant.
Project URL:  
Further Information:  
Organisation Website: http://www.cam.ac.uk