Tel. +31­ 345 545535
Coming soon...
Who we work with
What's going on
Something to read
Who we are
Where we are
You are on the following page: News Nederlands | French

INDES-IDS BV selected as Benelux partner for AbsInt GmbH

We hare proud to have been selected as the exclusive partner for the Benelux for the AbsInt AI GmbH, provider of unique formal verification tools for safety critical embedded software.

AbsInt is short for Abstract Interpretation, the name of a sophisticated formal mathematical approach to Static Aalysis. Using this methodology AbsInt was able to develop a set of sound formal verification tools that differ from standard Static Analysis tools in that it results in 100% provable correct results.

The AbsInt products includes CompCert, an optimizing C-Compiler that generates that is guaranteed to be free of compilation errors and validated for use upto the highest safety standards.
The Astree Static Analyzer garantees the absence of run-time erros in C-code.

The AiT toolsuite guarantees the Worst-Case Execution Time and is used for validating timing behavior of Real-Time Systems.

Absence of Stack-overflow can be proven using StackAnalyzer by computing the worst-case stack usage of code. 

The AbsInt tools will be added to the set of development, test & certification tools offered by our company to enable swift certification accoording to safety standard as DO178B/C, IEC-61508, EN-50128/129, ISO26262 and various standards for Medical applications.

To learn more about the AbsInt tools please do not hesitate to contact Gerard Fianen at INDES-IDS BV to discuss your application and corequirements.




INDES-IDS BV offers solutions for Embedded Software Development as well as for the Telecommunication NEMS and Service Providers. In these markets we offer products of either the market leader or the innovation leaders. Our goal is to assist you to get to the market sooner by offering a combination of products, knowledge and services.