AbsInt was founded in February 1998 by six researchers of Saarland University, Germany, from the group of programming languages and compiler construction of Prof. R. Wilhelm. It is privately held by the founders. The company provides advanced program-analysis tools for validation, verification, and certification of safety-critical software.
ABS’s expectations from CERTAINTY are:
The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement n° 288175
DR. Madeleine FAUGÈRE
THALES S.A.