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

DOI10.1007/978-3-540-70881-0_26MaRDI QIDQ3401955zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

verificationmodulescompositionrefinementcomponent-based systemsLTL properties

Mathematics Subject Classification ID

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

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

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)