Ansys unterstützt die nächste Generation von Ingenieur*innen
Studenten erhalten kostenlosen Zugang zu erstklassiger Simulationssoftware.
Gestalten Sie Ihre Zukunft
Stellen Sie eine Verbindung mit Ansys her, um zu erfahren, wie Simulation Ihren nächsten Durchbruch vorantreiben kann.
Studenten erhalten kostenlosen Zugang zu erstklassiger Simulationssoftware.
Stellen Sie eine Verbindung mit Ansys her, um zu erfahren, wie Simulation Ihren nächsten Durchbruch vorantreiben kann.
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.
Wenn Sie mit technischen Herausforderungen konfrontiert sind, ist unser Team für Sie da. Mit unserer langjährigen Erfahrung und unserem Engagement für Innovation laden wir Sie ein, sich an uns zu wenden. Lassen Sie uns zusammenarbeiten, um Ihre technischen Hindernisse in Chancen für Wachstum und Erfolg zu verwandeln. Kontaktieren Sie uns noch heute, um das Gespräch zu beginnen.