|
| EPSRC Reference: |
EP/E010180/1 |
| Title: |
The role of language covers in games-based abstraction and refinement |
| Principal Investigator: |
Dr DR Ghica |
| Other Investigators: |
|
| Researcher Co-investigator: |
|
| Project Partner: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Birmingham |
| Scheme: |
Standard Research |
| Starts: |
09 August 2006 |
Ends: |
08 September 2006 |
Value (£): |
5,403
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary |
One of the challenges of automatic verification of software systems is the large size of the models. We will investigate a possible new method for mitigating this difficult problem, through the use of the language-theoretic notion of "cover". The method we aim to develop should have general applicability, but we intend to target in particular models obtained using game-semantic techniques.
|
| Final Report Summary |
|
One of the challenges of automatic verification of software systems is the large size of the models. We investigated possible new methods for mitigating this difficult problem through the use of language-theoretic techniques, such as that of "cover". More generally, we aimed to give a language-theoretic perspective to some of the successful techniques in software model checking, such as iterated refinement and lazy composition.
|
| Further Information: |
|
| Organisation Website: |
http://www.bham.ac.uk |
|
|