MAVEN: Modular Aspect Verification
From MaRDI portal
Publication:5758114
DOI10.1007/978-3-540-71209-1_24zbMath1186.68291OpenAlexW1539735786MaRDI QIDQ5758114
Publication date: 3 September 2007
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_24
Related Items
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, CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties, ProMoVer: Modular Verification of Temporal Safety Properties
Uses Software