AbsInt provides advanced development tools for embedded systems with a focus on validation, verification and certification of safety-critical and security-relevant software. Key products include static analysis tools for checking coding guidelines, timing and stack usage analysis, and detecting critical programming errors in C/C++ code, as well as the formally verified compiler CompCert. In 2022, the development of CompCert was honored with the prestigious ACM Software System Award: https://awards.acm.org/software-system. AbsInt was founded 25 years ago and is a privately-held company based in Saarbrücken, Germany. We serve companies from all over the world and from various industries, including aerospace, automotive, medical and energy - see https://www.absint.com/success.htm.
View Top Employees from AbsInt GmbHWebsite | http://www.absint.com |
Revenue | $4 million |
Employees | 18 (13 on RocketReach) |
Founded | 1998 |
Address | Science Park 1, Saarbrücken, Saarland 66123, DE |
Phone | +49 681 383600 |
Fax | +49 681 3836020 |
Technologies |
JavaScript,
PHP,
jQuery
+8 more
(view full list)
|
Industry | Software Development, Business Services General, Business Services |
Web Rank | 3 Million |
Keywords | Real-Time System, Worst Case Stack Usage, Online Code Analysis Tools, Troer Inurl:Contact, C Code Loop Analyzer Tool |
SIC | SIC Code 73 Companies, SIC Code 737 Companies |
NAICS | NAICS Code 5415 Companies, NAICS Code 54151 Companies, NAICS Code 541 Companies, NAICS Code 54 Companies, NAICS Code 541511 Companies |
Looking for a particular AbsInt GmbH employee's phone or email?
The AbsInt GmbH annual revenue was $4 million in 2024.
Thomas Wehmeier is the Director of Sales of AbsInt GmbH.
13 people are employed at AbsInt GmbH.
AbsInt GmbH is based in Saarbrücken, Saarland.
The NAICS codes for AbsInt GmbH are [5415, 54151, 541, 54, 541511].
The SIC codes for AbsInt GmbH are [73, 737].