Verifying scenario-based aspect specifications

DOI10.1007/11526841_29MaRDI QIDQ5716894zbMATH OpenOpenAlexFDO

Authors Emilia Katz, Shmuel Katz

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b27882

zbMATH Keywords

Aspectsconformanceconvenient executionsmodel-checkingscenarios

Mathematics Subject Classification ID

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

Recommendations

• MAVEN: Modular Aspect Verification
• MAVEN: Modular aspect verification and interference analysis
• Verification of scenario-based specifications using templates
• Modular Verification of Strongly Invasive Aspects
• Model checking conformance with scenario-based specifications .

Cited in

(5)

• scientific article; zbMATH DE number 5932254 (Why is no real title available?)
• Modular Verification of Strongly Invasive Aspects
• Aspect Categories and Classes of Temporal Properties
• MAVEN: Modular Aspect Verification
• MAVEN: Modular aspect verification and interference analysis

This page was built for publication: Verifying scenario-based aspect specifications

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