MAVEN: Modular aspect verification and interference analysis

DOI10.1007/s10703-010-0101-1zbMath1207.68206MaRDI QIDQ609017

Shmuel Katz, Max Goldman, Emilia 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

verification; model-checking; interference; detection; modularity; aspects

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• NuSMV
• AspectJ
• Java PathFinder
• MAVEN
• Bandera