Partner 2019

Exhibitor

absint

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
www.absint.com

Kugler Maag Cie

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

Contact: information@kuglermaag.com

KUGLER MAAG CIE GmbH
Leibnizstr. 11
70806 Kornwestheim

Contact:

Christian Linde

Christian Linde

Sponsoring and Exhibition

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