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.