Secure and Safe Systems based on Static Analysis

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