1 Improving a Modular Verification Technique for Aspect Oriented Programming

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 Krishnamurthi 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. Keywords Incremental verification, modular verification, model checking, aspect-oriented programming, feature oriented software, aspect classification. 1