AbsInt provides tools for validation, verification, optimization, and certification of safety-critical software. Key products are the aiT Worst-case Execution Time Analyzer for obtaining timing guarantees, StackAnalyzer for proving the absence of stack overflows, and the Astrée analyzer for proving the absence of runtime errors and data races. All of them can be qualified according to contemporary safety standards.
Since 2015, AbsInt offers two new product lines: TimingProfiler computes execution time estimates of programs without the need to repeatedly provide test inputs, execute, and measure. Therefore, it is ideally suited for constantly monitoring timing behavior during software development and in model-based development environments. CompCert is a formally verified optimizing C compiler. The level of confidence in the correctness of the compilation process is unprecedented and helps meet the highest standards of software assurance.