swMATH7659MaRDI QIDQ19681FDOQ19681
Author name not available (Why is that?)
Official website: http://rd.springer.com/article/10.1007%2Fs10703-010-0101-1
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
