Ensuring Properties of Interaction Systems

DOI10.1007/978-3-540-71322-7_10MaRDI QIDQ3593075zbMATH OpenOpenAlexFDO

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

Publication date 24 September 2007

Published in Program Analysis and Compilation, Theory and Practice (Search for Journal in Brave)

Full work available at URL https://infoscience.epfl.ch/record/185042/files/PTIESINTSYST.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Composition for component-based modeling
• Robustness in Interaction Systems
• An Approach to Modelling and Verification of Component Based Systems
• Component-Based Construction of Deadlock-Free Systems
• scientific article; zbMATH DE number 7314999

Cited in

(6)

• Deadlock-freedom in component systems with architectural constraints
• Rigorous development of component-based systems using component metadata and patterns
• Robustness in Interaction Systems
• Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems
• scientific article; zbMATH DE number 1787124 (Why is no real title available?)
• Everything Is PSPACE-Complete in Interaction Systems

This page was built for publication: Ensuring Properties of Interaction Systems

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