Verifying Software Architecture in Practice
We demonstrate the automatic verification of low-level C/C++ code against a high-level architecture model. The model can be specified using a UML CASE tool or through an architecture-as-code approach in Python. We emphasize both interactive use for software architects and non-interactive use in CI/DevOps environments.
Oh, here is more
On-Demand Webinar: How Medical Software Teams Break The Regulatory Bottleneck
Every medical device you ship needs a decade of security updates, maintenance, and regulatory upkeep...
Watch Video
QtWS26: Customer Voices SAUTER
Qt World Summit 2026 Customer Voices Interview with SAUTER
Watch Video
QtWS26: Customer Voices Hamilton Medical
Qt World Summit 2026 Customer Voices Interview with Hamilton Medical
Watch Video