AbsInt provides cutting-edge 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 to check coding guidelines, for timing and stack usage analysis, and to detect critical programming defects in C/C++ code, as well as the formally verified compiler CompCert.
Founded in 1998, AbsInt is a privately-held company located in Saarbrücken, Germany. Our customers come from various industry sectors, including aerospace, automotive, healthcare and energy, and are located in more than 40 countries all over the world.
The company name is an acronym for “abstract interpretation”, 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.
现在就开始行动吧！
如果您面临工程方面的挑战，我们的团队将随时为您提供帮助。我们拥有丰富的经验并秉持创新承诺，期待与您联系。让我们携手合作，将您的工程挑战转化为价值增长和成功的机遇。欢迎立即联系我们进行交流。