High-quality solutions and services to support your development in all phases:
from the source code to the executable code ready to be embedded in your critical devices

Inspired by our recent publication Software Verification Done Right: Introduction to Static Analysis, this new series will unfold across several webinars, each dedicated to a key aspect of software verification: from coding standards and metrics, to requirements traceability, to the qualification of tools, compilers and libraries, and more. The series will combine expert insights with practical guidance, and bring in guest speakers from across the industry to share their experiences and perspectives

The opening webinar is on October 24, 2025 – 5:00 PM CEST

Join us for a guided walkthrough of the new features