Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5312987zbMATH OpenOpenAlexFDO

Authors Arnaud Lanoix, Olga Kouchnarenko

Publication date 25 August 2005

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

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

zbMATH Keywords

compositional verificationInvariance propertiespreservationrefinementsynchronized product

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Compositional Verification for Component-Based Systems and Application
• Verification of component-based systems with recursive architectures
• An Approach to Modelling and Verification of Component Based Systems
• How to verify and exploit a refinement of component-based systems
• Runtime verification of component-based systems
• Verification of component-based system using model checking
• Specification and verification of invariants by exploiting layers in OO designs

Cited in

(8)

• How to verify and exploit a refinement of component-based systems
• The Composition of Event-B Models
• Compositional Verification for Component-Based Systems and Application
• scientific article; zbMATH DE number 1927550 (Why is no real title available?)
• Formalization of invariant patterns for the invariant refinement method
• An Approach to Modelling and Verification of Component Based Systems
• Computer Aided Verification
• Local and compositional reasoning for optimized reactive systems

This page was built for publication: Algebraic Methodology and Software Technology

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