Project Details
Description
Static analysis is a proven technology in the implementation of
compilers and interpreters. Recent years have begun to see the
application of static analysis techniques in novel areas such as
software validation (for example, Ariane V) and software
re-engineering (for example, the Y2K problem). This project will
demonstrate that static analysis facilitates the validation of the
security and safety of internet based computer systems.
compilers and interpreters. Recent years have begun to see the
application of static analysis techniques in novel areas such as
software validation (for example, Ariane V) and software
re-engineering (for example, the Y2K problem). This project will
demonstrate that static analysis facilitates the validation of the
security and safety of internet based computer systems.
| Status | Finished |
|---|---|
| Effective start/end date | 01/12/2000 → 31/12/2002 |
Collaborative partners
- Technical University of Denmark (lead)
- Trusted Logic (Project partner)
- Imperial College London (Project partner)
- French National Institute for Computer Science and Applied Mathematics (Project partner)
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.