Improving a Modular Verification Technique for Aspect Oriented Programming

Alfons Laarman, C. Huijs (Editor)

    Research output: Contribution to conferencePaperpeer-review

    68 Downloads (Pure)


    As aspect oriented software becomes more popular, there will be more demand for a method of verifying the correctness of the programs. This paper tries to address the verification issue by improving a modular verification technique proposed by Krisnamuhrti et al. The technique has the problem that it can not handle every aspect, which may result in a false awnser. By checking the type of the aspect in advance we can prevent this behavior. The proposed solution also improves some other issues regarding the model-checker.
    Original languageUndefined
    Number of pages4
    Publication statusPublished - 26 Jun 2006
    Event5th Twente Student Conference on Information Technology - Enschede, The Netherlands
    Duration: 26 Jun 200626 Jun 2006


    Conference5th Twente Student Conference on Information Technology
    Other26 Jun 2006


    • Classification
    • Verification
    • AOP
    • SE-AOC: Aspect and Object Composability
    • Aspect Oriented Programming
    • IR-67523
    • EWI-15698

    Cite this