MAVEN
From MaRDI portal
Cited in
(15)- MAVEN: Modular Aspect Verification
- Compositional verification of sequential programs with procedures
- Aspects preserving properties
- MAVEN: Modular aspect verification and interference analysis
- CVPP
- Sawja
- ProMoVer
- PolyAML
- Moped
- Aspectual Caml
- 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
- Reducing behavioural to structural properties of programs with procedures
- Modular Verification of Strongly Invasive Aspects
This page was built for software: MAVEN
