| EPSRC Reference: |
GR/K83014/01 |
| Title: |
TOOL INTEGRATION FOR APPLIED FORMAL METHODS |
| Principal Investigator: |
Henderson, Professor P |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Electronics and Computer Science |
| Organisation: |
University of Southampton |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 April 1996 |
Ends: |
31 March 1998 |
Value (£): |
106,447
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| Creative Industries |
Information Technologies |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The project will identify a subset of Z, known as the Logic Interface Language (LIL), in which it will be possible to state conjectures about systems specified in ANM, VDM or Z. Verification condition generators will be written that will generate automatically the standard proof obligations for consistency of specifications and validity of refinements. LIL will be embedded in the HOL and PVS automatic theorem-proving systems, and theories and tactic libraries will be developed to support, and where possible automate, the discharge of these conjectures and proof collaborators, to validate the approach and the tools developed. Finally, a utility will be written to convert state machines defined in one of the above notations into a form suitable for animation and model-checking by Murphi or PVS.
|
|
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 |