Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Learn how to automatically verify low-level C/C++ code against high-level architecture models in this technical breakout presentation from Qt World Summit 2025. Discover methods for specifying architecture models using UML CASE tools or through an architecture-as-code approach in Python. Explore both interactive verification techniques for software architects and non-interactive implementation strategies suitable for CI/DevOps environments. Gain practical insights into bridging the gap between architectural design and code implementation through automated verification processes. The presentation is delivered by Daniel Simon, Director of Customer Services and QA at Qt Group, and Andreas Gaiser, R&D Manager for QA at Qt Group, providing expert perspectives on real-world application of software architecture verification techniques.
