Software Verification Tools Trial
Static Analysis
Coding Standards Compliance
Coding standards for functional safety (MISRA, AUTOSAR etc) and security (CERT and CWE etc). It also provides insights through metrics and visualisations into source code quality.
QA-MISRA in 90 seconds video
Datasheet
Learn more
Automated Unit &
Integration Testing
Verify standard compliant or business critical C/C++ code on embedded target and host native platforms. Integrated with an extensive set of embedded development toolchains, from cross-compilers to requirements management and continuous integration tools.
Cantata in 90 seconds video
Datasheet
Learn more

- 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.
- ANALYZE > 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.