Ensuring Properties of Interaction Systems
From MaRDI portal
Publication:3593075
DOI10.1007/978-3-540-71322-7_10zbMath1149.68352MaRDI 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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Everything Is PSPACE-Complete in Interaction Systems, 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