AdaTEST 95
Unit and integration testing tool for Ada 95 on host and embedded targets
Level Access Platform
Digital accessibility testing, remediation and compliance reporting platform
Binary Analysis Tool
Framework for inspecting binary code for open source licence compliance (legacy)
Cantata
Unit and integration testing tool for C and C++ on host and embedded targets
ECLAIR Software Verification Platform
Static analysis and verification platform for C and C++
Laika
Interoperability and certification testing framework for EHR systems