ABSINT

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... AbsInt provides sophisticated software products and advanced services in the areas of compiler technology, static program analysis and worst-case execution time prediction. The company name is a shorthand for 'abstract interpretation', a formal method for static program analysis.

Also known as: AbsInt Angewandte Informatik, AbsInt Angewandte Informatik GmbH

Registration numbers: HRB 11234 (W)

VAT numbers: DE192589616

Primary location: Saarbruecken Germany