Ensuring Properties of Interaction Systems

DOI10.1007/978-3-540-71322-7_10zbMath1149.68352OpenAlexW1543132934MaRDI QIDQ3593075

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

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)

Related Items (5)

Rigorous development of component-based systems using component metadata and patterns ⋮ Deadlock-freedom in component systems with architectural constraints ⋮ Robustness in Interaction Systems ⋮ Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems ⋮ Everything Is PSPACE-Complete in Interaction Systems

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