Free Webinar
Tuesday, 7 July 2026<br>Organised by QA Systems & Lauterbach
3 tools to comply, test and analyse your software for safety and coding standards
Want to bring a new flow into your software verification process?
Join us for an exciting webinar specially designed for software developers working on safety-critical projects in various industries, including automotive, aerospace, medical devices, industrial automation, railways, and nuclear.
In this webinar, you will learn about our advanced automated software verification tools, which can help you optimize your workflow and increase efficiency while ensuring compliance with coding standards like MISRA, AUTOSAR, CERT, and CWE; and safety standards such as ISO 26262, IEC 61508, etc.
This session shows the key benefits of our verification tools using a single code example on how to:
Comply
Use QA-MISRA for fast coding standard compliance at the developer’s desktop first.
Test
Use Cantata for automated dynamic execution of the standard compliant software.
Analyse
Use Astrée for proving absence of run-time errors on whole application.
NB: Astrée uses the same configuration as QA-MISRA, so the effort to apply it later to a QA-MISRA project later is low.
This webinar has concluded, but you can still access the recording.