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