| 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 |