The following pages link to MAVEN (Q19681):
Displaying 9 items.
- Reducing behavioural to structural properties of programs with procedures (Q385023) (← links)
- Aspects preserving properties (Q436364) (← links)
- MAVEN: Modular aspect verification and interference analysis (Q609017) (← links)
- Compositional verification of sequential programs with procedures (Q937300) (← links)
- A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs (Q3055744) (← links)
- CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties (Q3067539) (← links)
- ProMoVer: Modular Verification of Temporal Safety Properties (Q3095249) (← links)
- Modular Verification of Strongly Invasive Aspects (Q3630178) (← links)
- MAVEN: Modular Aspect Verification (Q5758114) (← links)
