MAVEN
From MaRDI portal
Software:19681
No author found.
Related Items (9)
MAVEN: Modular aspect verification and interference analysis ⋮ Reducing behavioural to structural properties of programs with procedures ⋮ Aspects preserving properties ⋮ Compositional verification of sequential programs with procedures ⋮ A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs ⋮ MAVEN: Modular Aspect Verification ⋮ CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties ⋮ Modular Verification of Strongly Invasive Aspects ⋮ ProMoVer: Modular Verification of Temporal Safety Properties
This page was built for software: MAVEN
