MAVEN: Modular Aspect Verification
No abstract available.
Related papers
- Design and Implementation of an Aspect-Oriented C Programming Language OOPSLA 2024
- Concurrent aspects GPCE 2006
- Raven: An SMT-Based Concurrency Verifier CAV 2025
- Static analysis of aspect interaction and composition in component models GPCE 2011
- Delegation-based semantics for modularizing crosscutting concerns OOPSLA 2008
- Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs CAV 2006
- Modular Mixin-Based Inheritance for Application Frameworks OOPSLA 2001
- Verifying Lock-Free Search Structure Templates ECOOP 2024