AbsInt Angewandte Informatik GmbH

Background and mission
The embedded market of today is characterized by constantly rising soft­ware complexity and increasingly shorter time-to-market. The share of safety-critical applications is rising.

AbsInt’s tools are designed to

Enhance software safety
Speed up time-to-market
Lower testing and validation costs
Improve software efficiency to reduce system costs for embedded, real-time, safety-critical applications
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 more than proven in a long series of successful research projects and by outstand­ing customer satisfaction.
Quick facts about AbsInt
Founded in 1998, we are a privately-held company with currently a 40-strong staff from four nations, all located at our headquarters in Saarbruecken, Germany. Our customers come from 40+ countries all over the world, including the United States, Canada, Japan, Russia, Australia and almost all member states of the EU. We have distribution agreements with major software distributors in Asia, North America, Middle East, and throughout Europe.

The company name is an acronym for “abstract interpre­tation”, a sophisticated approach to static program analysis formalized by Patrick and Radhia Cousot at the Laboratoire d’Informatique, Grenoble in 1977. It is by implementing this approach that we were able to develop our unique, highly successful products.