Slide 1


Automated verification of safety-critical code


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.

Powered by
This session shows the key benefits of our verification tools using a single code example on how to:
  • COMPLY using QA-MISRA for fast coding standard compliance at the developer’s desktop first.
  • TEST using Cantata for automated dynamic execution of the standard compliant software.
  • ANALYZE using Astrée for proving absence of run-time errors on the whole application.
Daniel Kaestner from AbsInt and Haydar Akbulut from QA Systems will demonstrate these verification tools for safety-critical projects and will be available for answering your questions during the Q&A at the end of the webinar.

Don’t miss out on this opportunity to discover practical ways to apply these tools to your coding practices and learn from industry experts.

THE WEBINAR HAS FINISHED – You can watch the recording HERE (This link will be active until 19-May-2023)

For further information about future events, please visit our events website and/or get in touch with us via if you need further assistance. We are happy to help!