Solid Sands and AbsInt combine tools strengths

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.

More Information...

Latest News from Solid Sands

Solid Sands: SuperTest helps Peloton enhance ‘big-rig’ safety and fuel efficiency
Solid Sands and AbsInt combine tools strengths
Solid Sands: CGtrainer for Code Generator Development

E-Mail Newsletters

nlsc240

Our 3 E-Mail Newsletters: EETimes/EDN Europe, Embedded News and Power Electronics News inform about the latest news in technology and products, as well as technical know-how like white papers, webinars, articles, etc.


B & S / ECE Magazine

- latest issue is online now -

June 2018

Content Highlights

Cover Story

The challanges of IoT security and how to harden the edge

Download now


wholesale jerseys