Secure and Safe Systems based on Static Analysis

    Project Details


    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.
    Effective start/end date01/08/200001/10/2003


    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.