AbsInt GmbH

AbsInt provides advanced development tools for embedded systems with a focus on validation, verification and certification of safety-critical and safety-related 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. Recently, the development of CompCert was honored with the prestigious ACM Software System Award: https://awards.acm.org/software-system. AbsInt was founded in 1998 and is a privately held company based in Saarbrücken, Germany. We serve companies from 40 countries all over the world and from various industries, including aerospace, automotive, medical and energy - see https://www.absint.com/success.htm.