MAVEN: Modular aspect verification and interference analysis

DOI10.1007/S10703-010-0101-1zbMATH Open1207.68206OpenAlexW2101082290MaRDI QIDQ609017FDOQ609017

Shmuel Katz, Emilia Katz, Max Goldman

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• MAVEN: Modular Aspect Verification
• Model checking JAVA programs using JAVA PathFinder
• Aspect Categories and Classes of Temporal Properties
• An assertion-based proof system for multithreaded Java
• Superimpositions and Aspect-oriented Programming
• Title not available (Why is that?)

Cited In (4)

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

Uses Software

• NuSMV
• AspectJ
• Java PathFinder
• MAVEN
• Bandera

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)