MAVEN
From MaRDI portal
Software:19681
swMATH7659MaRDI QIDQ19681FDOQ19681
Author name not available (Why is that?)
Cited In (9)
- MAVEN: Modular Aspect Verification
- Compositional verification of sequential programs with procedures
- Aspects preserving properties
- ProMoVer: Modular Verification of Temporal Safety Properties
- MAVEN: Modular aspect verification and interference analysis
- A formal approach to analyzing interference problems in aspect-oriented designs
- CVPP: a tool set for compositional verification of control-flow safety properties
- Reducing behavioural to structural properties of programs with procedures
- Modular Verification of Strongly Invasive Aspects
This page was built for software: MAVEN
