EPSRC logo

Details of Grant 

EPSRC Reference: GR/L66366/01
Title: EVOLUTIONARY APPLICATION OF FORMAL METHODS
Principal Investigator: Tofts, Dr CM
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Sch of Computing
Organisation: University of Leeds
Scheme: Standard Research (Pre-FEC)
Starts: 01 November 1997 Ends: 31 January 2001 Value (£): 54,318
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
Formal methods of system specification and development are now a well-known and well-documented family of notations and techniques for developing high quality, reliable pieces of software and hardware. However, despite the large amount of academic interest in formal methods, industrial uptake has been slow. One reason for this is that most published examples of the use of Formal Methods concentrate on building new systems from scratch, whereas a large amount of software development involves modifying and extending existing code. This project aims to address this problem by looking at the theoretical and practical issues involved in apply formal methods in an evolutionary manner i.e. to systems with a large amount of existing code. This will be done by using existing tools and techniques to provide a minimal semantics to the existing code, sufficient to allow the formal specification and verification of the new code.
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.leeds.ac.uk