An Approach to Modelling and Verification of Component Based Systems

DOI10.1007/978-3-540-69507-3_24zbMath1131.68474OpenAlexW1801021781MaRDI QIDQ5448780

Moritz Martens, Susanne Graf, Joseph Sifakis, Mila E. Majster-Cederbaum, Gregor Gössler

Publication date: 7 March 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-69507-3_24

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Rigorous development of component-based systems using component metadata and patterns ⋮ Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System ⋮ Deadlock-freedom in component systems with architectural constraints ⋮ Associative composition of components with double-sided interfaces ⋮ Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> ⋮ Building distributed controllers for systems with priorities ⋮ Robustness in Interaction Systems ⋮ Contracts for BIP: Hierarchical Interaction Models for Compositional Verification ⋮ Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems

This page was built for publication: An Approach to Modelling and Verification of Component Based Systems