| EPSRC Reference: |
GR/K10294/01 |
| Title: |
HIERARCHICAL FORMAL VERIFICATION OF COMMUNICATION NETWORKS |
| Principal Investigator: |
Gordon, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science and Technology |
| Organisation: |
University of Cambridge |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 November 1994 |
Ends: |
31 January 1997 |
Value (£): |
79,405
|
| EPSRC Research Topic Classifications: |
| Networks & Distributed Systems |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The project aims to apply machine assisted formal verification techniques to an Asynchronous Transfer Mode (ATM) communication network. This work extends an earlier feasibility study funded by SERC. The novelty of this research is that we consider a multilayer verification of an entire network within a single framework. Previous work has only considered aspects of a network in isolation, or has simply assumed the existence of a network which behaves according to a high level specification. The main result will be a clear understanding of how verification techniques can and should be applied to ATM communication networks.
|
|
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.cam.ac.uk |