| EPSRC Reference: |
GR/K52447/01 |
| Title: |
VALIDATION OF PROGRAM IMPLEMENTATIONS |
| Principal Investigator: |
Kalvala, Dr S |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Warwick |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
20 November 1995 |
Ends: |
19 November 1998 |
Value (£): |
220,744
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This project seeks to develop a general method for validation of program implementations. Given a program specification, a compiled (object) program and a description of the target architecture, the aim is to verify the properties of the object code with respect to execution on the target architecture.The project will use automated tools and consider at least two different styles of architecture. The technique will have particular relevance to safety-critical applications where standards require demonstration of the correctness of a program implementation.
|
|
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.warwick.ac.uk |