MAVEN

MaRDI QIDQ19681swMATHFDO

Official website http://rd.springer.com/article/10.1007%2Fs10703-010-0101-1

Cited in

(15)

• CVPP
• Sawja
• ProMoVer
• PolyAML
• A formal approach to analyzing interference problems in aspect-oriented designs
• CVPP: a tool set for compositional verification of control-flow safety properties
• ProMoVer: modular verification of temporal safety properties
• Moped
• Aspectual Caml
• Modular Verification of Strongly Invasive Aspects
• Reducing behavioural to structural properties of programs with procedures
• Aspects preserving properties
• MAVEN: Modular Aspect Verification
• MAVEN: Modular aspect verification and interference analysis
• Compositional verification of sequential programs with procedures

This page was built for software: MAVEN