Partner 2019



AbsInt provides tools for validation, verification and certification of safety-critical software. Key products are aiT WCET analyzer for obtaining timing guarantees, StackAnalyzer for proving the absence of stack overflows, RuleChecker for checking coding guidelines, Astrée for proving the absence of runtime errors and data races, TimingProfiler for computing WCET estimates in early stages, and the formally verified optimizing compiler CompCert. NEW: TimeWeaver combines static path analysis with real-time instruction-level tracing to provide WCET estimates.

AbsInt GmbH
Science Park 1
66123 Saarbruecken, Germany

Kugler Maag Cie

  • R&D Management Consulting
  • Process Improvement Programs combining Agile Transformations with Automotive SPICE®, Functional Safety and Automotive Security


Leibnizstr. 11
70806 Kornwestheim


For nearly 40 years, has been the competent partner for software quality assurance in the entire product and system lifecycle of complex and safety-critical software systems. As a proven IT solution and service provider we contribute our know-how and our passion in SW-quality engineering to the automotive, medical technology, pharmaceutical, transportation, avionics and public sectors. has extensive experience in major international projects and innovative projects for medium-sized businesses. The focus of our work is on the realization of complete projects and services, both technically (requirements engineering, SW-development, consulting, QA and testing) and structurally in project, process and quality management. Our consulting focuses on regulatory conformity, process optimization, validation and security. With our “Model-Based-Testing” approach, we have a proven methodology in our portfolio to meet the increasing demands in SW-quality and complexity.

The headquarter is located in the middle of the European Metropolitan Region of Nuremberg. With further locations in Berlin, Wolfsburg, Ingolstadt and Stuttgart, we are able to support our customers flexibly and optimally at any time.

Our expertise in the software lifecycle includes

  • Requirements engineering and management
  • risk management
  • SW/System development
  • Architecture & Design
  • Test Design & Management
  • Test Automation and Model-Based Testing
  • regulatory affairs consulting
  • Process optimization, validation & CSV
  • Training & certification according to ISTQB®, ASQF®, IREB® and iSQI standards gmbh
Gewerbering 9
D-91341 Röttenbach


Christian Linde

Christian Linde

Sponsoring and Exhibition

Sales Manager
Phone: +49 (0)211.88743-3673