How to Verify and Exploit a Refinement of Component-Based Systems

DOI10.1007/978-3-540-70881-0_26zbMath1185.68416OpenAlexW1863982112MaRDI QIDQ3401955

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)

This page was built for publication: How to Verify and Exploit a Refinement of Component-Based Systems