Details of Grant 

EPSRC Reference:	GR/R39122/01
Title:	Model-Checking Concurrent, Similar Processes with Very Large State Spaces
Principal Investigator:	Calder, Professor M
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	School of Computing Science
Organisation:	University of Glasgow
Scheme:	Standard Research (Pre-FEC)
Starts:	01 August 2001	Ends:	31 July 2004	Value (£):	187,519
EPSRC Research Topic Classifications:	Fundamentals of Computing Software Engineering
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:
Panel History:	Panel Date Panel Name Outcome 25 Apr 2001 Software Technologies 25/26 April Deferred
Summary on Grant Application Form
Model-checking is an increasingly popular automated reasoning technique, with proven applicability in domains such as telecommunications service modelling. But, progress is being held back by the limitations of state-space explosion.We aim to overcome these limitations by developing techniques to reduce states. These techniques will be based on exploiting aspects of the application system structure - information that is normally lost in the translation to underlying model. We will also develop meta-level reasoning techniques (i.e. induction) for reasoning over sets of such systems.The limitations this project will address are not hypothetical, they are significant problems which we have uncovered through our earlier work on modelling and analysing telecommunications services. The project will build upon our theoretical and practical expertise in this, and other domains such as process algebra, concurrency and group theory.
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.gla.ac.uk