Details of Grant 

EPSRC Reference:	GR/N23684/01
Title:	IMPROVING THE PRACTICALITY OF AUTOMATED VERIFICATION (IPAV)
Principal Investigator:	Ultes-Nitsche, Dr U
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Electronics and Computer Science
Organisation:	University of Southampton
Scheme:	Standard Research (Pre-FEC)
Starts:	01 December 2000	Ends:	31 July 2002	Value (£):	62,091
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
Automated verification refers to checking properties of a system fully automatically. Verification algorithms have weaknesses according to their algorithmic complexity that limit their practical application significantly. To tackle the known problems, different improvements have been proposed. These include abstraction and partial-order methods:The proposed project will investigate the improvements achievable by combining the abstraction and partial-order methods to overcome drawbacks of the the two single methods. The use of a partial-order method will allow to construct only a reduced behavioural representation of a system (state-space) prior to the abstraction step, avoiding an exhaustive exploration of the entire state-space. Typically such an approach will be beneficial for investigating co-operating systems (several components whose interplay has to meet certain requirements). In co-operating systems, a problem particularly relevant to the telecomms industry is the detection of undesired interactions of components (sometimes known as feature interaction). After an implementation of the concepts to be developed in the project, interaction problems will be addressed as an example area for the assessment of the projects outcome.The project will deliver theoretical insight into fairness preservation under partial-order methods and abstraction as well as a practical technique, including a prototype implementation to verify systems more efficiently.
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.soton.ac.uk