An experience on verification of aspect properties
Giovanni Denaro, Mattia Monga · 2002
Aspect oriented technologies enable concerns like concurrency or security to be coded in separate units. This paper suggests that relevant system properties can be verified just based on such separated code. A simple experience is reported for showing how the proposed approach works.