SuperTest – elevating AdaCore’s C compiler to Ada/SPARK safety

Leading one-stop-shop developer of Ada and SPARK tool sets uses SuperTest to validate its C compiler for mixed-language programming environments.