MAVEN: Modular aspect verification and interference analysis

DOI10.1007/S10703-010-0101-1MaRDI QIDQ609017zbMATH OpenOpenAlexFDO

Authors Max Goldman, Emilia Katz, Shmuel Katz

Publication date 30 November 2010

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-010-0101-1

zbMATH Keywords

verificationinterferencemodularitydetectionmodel-checkingaspects

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• MAVEN: Modular Aspect Verification
• Modular Verification of Strongly Invasive Aspects
• FM 2005: Formal Methods
• Aspect Categories and Classes of Temporal Properties
• Detection and Resolution of Weaving Interactions

Cites work

• scientific article; zbMATH DE number 1728246 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1863159 (Why is no real title available?)
• scientific article; zbMATH DE number 2102731 (Why is no real title available?)
• An assertion-based proof system for multithreaded Java
• Aspect Categories and Classes of Temporal Properties
• MAVEN: Modular Aspect Verification
• Model checking JAVA programs using JAVA PathFinder
• Superimpositions and Aspect-oriented Programming

Cited in

(7)

• MAVEN: Modular Aspect Verification
• \textsc{InterAspect}: aspect-oriented instrumentation with GCC
• Aspects preserving properties
• FM 2005: Formal Methods
• Detection and Resolution of Weaving Interactions
• Aspect Categories and Classes of Temporal Properties
• Modular Verification of Strongly Invasive Aspects

Describes a project that uses

Uses Software

• Bandera
• MAVEN
• Java PathFinder
• AspectJ
• NuSMV

This page was built for publication: MAVEN: Modular aspect verification and interference analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q609017)