Project Details
Description
Static analysis of programs is a proven technology in the
implementation of compilers and interpreters. Recent years have begun
to see application of static analysis techniques in novel areas such
as software validation and software re-engineering. This project will
demonstrate that static analysis technology facilitates the
validation of systems based on the internet and on smart cards.
implementation of compilers and interpreters. Recent years have begun
to see application of static analysis techniques in novel areas such
as software validation and software re-engineering. This project will
demonstrate that static analysis technology facilitates the
validation of systems based on the internet and on smart cards.
| Status | Finished |
|---|---|
| Effective start/end date | 01/08/2000 → 01/10/2003 |