MAVEN
From MaRDI portal
Software:19681
swMATH7659MaRDI QIDQ19681FDOQ19681
Author name not available (Why is that?)
Cited In (9)
- MAVEN: Modular Aspect Verification
- A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs
- Compositional verification of sequential programs with procedures
- Aspects preserving properties
- CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties
- ProMoVer: Modular Verification of Temporal Safety Properties
- MAVEN: Modular aspect verification and interference analysis
- Reducing behavioural to structural properties of programs with procedures
- Modular Verification of Strongly Invasive Aspects
This page was built for software: MAVEN
