How to verify and exploit a refinement of component-based systems

DOI10.1007/978-3-540-70881-0_26zbMATH Open1185.68416OpenAlexW1863982112MaRDI QIDQ3401955FDOQ3401955

Authors: Arnaud Lanoix, Olga Kouchnarenko 

Publication date: 2 February 2010

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00071369/file/RR-5898.pdf

Recommendations

• Algebraic Methodology and Software Technology
• Automatic verification of concurrent systems using a formula-based compositional approach
• Refined Interfaces for Compositional Verification
• A compositional approach to the verification of hybrid systems
• scientific article; zbMATH DE number 2080014

zbMATH Keywords

verificationmodulescompositionrefinementcomponent-based systemsLTL properties

Mathematics Subject Classification ID

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

Cited In (4)

• Verification of asynchronous systems with an unspecified component
• Algebraic Methodology and Software Technology
• Refined Interfaces for Compositional Verification
• Refinements for open automata

This page was built for publication: How to verify and exploit a refinement of component-based systems

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