Supporting Formal Verification of Crosscutting Concerns.

Torsten Nelson Donald D. Cowan Paulo S. C. Alencar

Published in: Reflection (2001)

Keyphrases

formal verification
model checking
aspect oriented
model checker
automated verification
bounded model checking
symbolic model checking
crosscutting concerns
databases
program slicing
temporal logic
clustering method
aspect oriented programming
mixture model
data management
real world
database