AbsInt Angewandte Informatik 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.

  • 49 681 383 600
  • 49 681 383 60 20
  • info@absint.com
  • Science Park 1
    Saarbruecken, 66123
    Germany

Filter Results By:

Products

Applications

Showing results: 1 - 7 of 7 items found.

Get Help