Solid Sands, supplier of SuperTest test and validation suite for C and C++ compilers and libraries, and AbsInt, the specialist for program analysis tools for safety-critical software, announce their collaboration to develop and integrate the SuperTest qualification suite into the CompCert C qualification support kit.
The SuperTest qualification suite is derived from the established SuperTest compiler test and validation suite. It is tailored to the needs of AbsInt to fit the CompCert C qualification support kit. The close collaboration between AbsInt and Solid Sands allows customers to qualify their specific use case of the CompCert C compiler for qualification standards such as ISO 26262, IEC-61508, EN-50128, DO-333, and DO-330.
You must verify your email address before signing in. Check your email for your verification email, or enter your email address in the form below to resend the email.
Please confirm the information below before signing in.
{* #socialRegistrationForm *}
{* firstName *}
{* lastName *}
{* displayName *}
{* emailAddress *}
By clicking "Sign In", you confirm that you accept our terms of service and have read and understand privacy policy.
{* /socialRegistrationForm *}
Almost Done
Please confirm the information below before signing in. Already have an account? Sign In.