Skip to main content
View All Resources

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

Remarkable | Built with Qt

Remarkable | Built with Qt

Remarkable uses Qt for its cross-platform capabilities, modularity, and flexibility. The UI is furth...

Watch Video
Complete Android Automotive Testing | Demo with Squish

Complete Android Automotive Testing | Demo with Squish

In this technical demo, Andreas Muss demonstrates Squish's comprehensive testing solution for Androi...

Watch Video
Testing Stadium-Scale Audio Software: d&b's Journey with Squish & Qt

Testing Stadium-Scale Audio Software: d&b's Journey with Squish & Qt

Meet Alex from d&b audiotechnik, a leading manufacturer of professional PA audio systems for cru...

Watch Video
Stop Guessing, Start Fixing: AI-Assisted Test Debugging with Squish

Stop Guessing, Start Fixing: AI-Assisted Test Debugging with Squish

The Squish AI Assistant brings AI-powered support directly into the Squish IDE – helping you write c...

Watch Video