| EPSRC Reference: |
GR/M99293/01 |
| Title: |
A SYSTEM FOR PARALLEL MODEL CHECKING |
| Principal Investigator: |
Koutny, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing Sciences |
| Organisation: |
Newcastle University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 2000 |
Ends: |
31 December 2002 |
Value (£): |
55,793
|
| EPSRC Research Topic Classifications: |
| Parallel Computing |
System on Chip |
|
| EPSRC Industrial Sector Classifications: |
| Information Technologies |
No relevance to Underpinning Sectors |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Reactive concurrent systems are directly relevant to many crucial industrial and commercial application areas including VLSI circuits, safety-critical systems and communication protocals. However, the complexity of verification of such systems is recognised as a major problem in the key area.Model checking is a technique used to automatically verify such systems. Unfortunately, it suffers from combinatorial state explosion: even small systems specifications may yield very large state spaces. This large computing resources required to verify such systems makes model checking impractical, or indeed impossible, for many systems, and so limits its industrial use.We will investigate the theoretical principles of the design of parallel algorithms for model checking. For this we aim to design efficient algorithms which we will then implement and evaluate.
|
|
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.ncl.ac.uk |