• DOI:10.1007/11687061_4
Corpus ID: 111171

Aspect Categories and Classes of Temporal Properties

@article{Katz2006AspectCA,
  title={Aspect Categories and Classes of Temporal Properties},
  author={Shmuel Katz},
  journal={LNCS Trans. Aspect Oriented Softw. Dev.},
  year={2006},
  volume={1},
  pages={106-134}
}

• Shmuel Katz
• Published 2006
• Computer Science
• LNCS Trans. Aspect Oriented Softw. Dev.

Generic categories of aspects are described, and their potential value is explained. For some categories, broad classes of syntactically identifiable temporal properties, such as safety, liveness, or existence properties, are guaranteed to hold for a system with any aspect of the category woven into it, if the property was true in the system without the aspect. Thus classes of properties preserved by the aspect are defined. Moreover, relatively simple verification techniques are shown to hold… Expand

View via Publisher

cs.technion.ac.il

Save to Library

Create Alert

Cite

Launch Research Feed