Modular Verification of Strongly Invasive Aspects

DOI10.1007/978-3-642-01748-3_9MaRDI QIDQ3630178zbMATH OpenOpenAlexFDO

Authors Emilia Katz, Shmuel Katz

Publication date 3 June 2009

Published in Languages: From Formal to Natural (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-01748-3_9

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• MAVEN: Modular Aspect Verification
• MAVEN: Modular aspect verification and interference analysis
• FM 2005: Formal Methods
• Aspects preserving properties
• Aspect Categories and Classes of Temporal Properties

Cited in

(4)

• Aspects preserving properties
• FM 2005: Formal Methods
• MAVEN: Modular Aspect Verification
• MAVEN: Modular aspect verification and interference analysis

Describes a project that uses

Uses Software

• MAVEN

This page was built for publication: Modular Verification of Strongly Invasive Aspects

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