AbsInt Logo Vector (.SVG + .PNG)

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

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.