Modular Verification of Strongly Invasive Aspects

@inproceedings{Katz2009ModularVO,
  title={Modular Verification of Strongly Invasive Aspects},
  author={Emilia Katz and Shmuel Katz},
  booktitle={Languages: From Formal to Natural},
  year={2009}
}
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of any particular base program to which they may be woven. Such aspects can change the underlying base program variables to new states, and after the aspect advice has completed, the base program code continues from states that were previously unreachable. The needed changes in the MAVEN model checker are described, and… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…