Analyzing Component-Based Systems on the Basis of Architectural Constraints

DOI10.1007/978-3-642-29320-7_5zbMath1353.68054OpenAlexW1897228115MaRDI QIDQ2894552

Christian Lambertz, Mila E. Majster-Cederbaum

Publication date: 29 June 2012

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29320-7_5

Mathematics Subject Classification ID

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

Related Items (4)

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving ⋮ Deadlock-freedom in component systems with architectural constraints ⋮ The Automatic Detection of Token Structures and Invariants Using SAT Checking ⋮ Mitigating Multi-target Attacks in Hash-Based Signatures

This page was built for publication: Analyzing Component-Based Systems on the Basis of Architectural Constraints