Model, notation, and tools for verification of protocol-based components assembly

DOI10.1007/3-540-45440-3_19MaRDI QIDQ3046809zbMATH OpenFDO

Authors Pascal Rapicault, Jean-Paul Rigault, Luc Bourlier

Publication date 12 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2370/23700257.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• An Approach to Modelling and Verification of Component Based Systems
• Compositional Verification for Component-Based Systems and Application
• Verification of component-based system using model checking
• On the relationships between models in protocol verification

Cited in

(3)

• Modal Interface Theories for Communication-Safe Component Assemblies
• Documenting and verifying systems assembled from components
• Protocol conformance through refinement mappings in cadence SMV

This page was built for publication: Model, notation, and tools for verification of protocol-based components assembly

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