Company profile

AbsInt provides advanced development tools for embedded sys­tems, and tools for validation, veri­fication and certification of safety-critical software.

Founded in 1998, the privately-held company now employs 40+ people from six nations, all located at our headquarters in Germany.

Our customers come from 40+ countries around the globe, including the US, Canada, Japan, Australia, and almost all member states of the EU. We have distribution agreements with major software distributors in Asia, North and South America, the Middle East, and across Europe.

The company name is an acronym for “abstract interpre­tation”, an approach to static program analysis formalized in 1977 at the Grenoble Computer Science Laboratory by Patrick and Radhia Cousot.

Background and mission

The embedded market of today is characterized by ever-growing soft­ware complexity and ever-shorter development times. The share of safety-critical applications is rising.

AbsInt’s tools are designed to

  • increase software safety
  • reduce time-to-market
  • streamline testing and validation
  • improve software efficiency
  • reduce system costs for embedded, real-time, safety-critical applications

Two-minute introduction on YouTube


Our tools are based on a generic and generative framework which allows an extremely quick, sound and flexible response to customer needs. This has been proven time and again by outstand­ing customer satisfaction and in a decades-long series of 30+ successful research projects.

Analysis and verification tools

Software testing accounts for a major part of development costs. This is especially true for real-time systems, where correctness depends not just on logical correctness, but also on the timeliness of the results. Timing properties are hard to establish; measuring and time-stopping methods are error-prone and time-consuming.

Static program analyses provide means to reduce testing and validation costs. The underlying theory of abstract interpretation en­ables the system­atic derivation of provably correct analyses. The analyses are performed at compile time and are sound: they provide results that hold for any program execution and any possible input scenario.

  • Timing validation
    for real-time software

    Our award-winning aiT WCET Analyzer is the first software tool for ver­ifying that safety-critical applications always react fast enough. Since 2002, aiT is used by Airbus France for validating the timing behavior of critical avionics software.

  • Proving the absence
    of stack overflow

    Our StackAnalyzer automatically computes the worst-case stack usage of the tasks in embedded applications. This re­duces develop­ment effort and helps prevent runtime errors due to stack over­flow.

  • Proving the absence
    of runtime errors

    Our static analyzer Astrée, developed under license from CNRS/​ENS, proves the ab­sence of run­time errors in C and C++ programs. Its extremely pre­cise and highly customizable ana­ly­sis engine enables find­ing all poten­tial run­time errors while keeping false alarms to a min­i­mum. Even large-scale industrial safety-critical software can be analyzed in just a few hours with zero false alarms.

Certification and qualification

Current safety standards such as ISO 26262, DO-178B/C, IEC-61508, EN-50125 and others require identifying potential functional and non-functional hazards and demonstrating that the software does not violate the relevant safety goals.

Abstract-interpretation based tools such as aiT, StackAnalyzer, and Astrée provide formal veri­fi­cation with 100% complete and reliable results. They are therefore perfectly suited to be used for certification.

The tool qualification process is greatly simplified with the help of our Qualification Support Kits.