14 - 16 March 2017 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout

AbsInt Angewandte Informatik GmbH

Science Park 1

66123 Saarbrücken



Phone: +49(0)681.383600

Fax: +49(0)681.3836020

Request contact / appointment Request contact / appointment

Contact us

Please enter your personal information and desired appointment. You can also leave us a message.

Your personal information

Your message for us

Desired appointment during the exhibition

* Compulsory fields you must fill in.
Your message has been sent.

Would you like to use more facilities and advantages of the platform? Then please log in – or register here.

An error has occurred.


Other exhibitors (1)

Products of AbsInt Angewandte Informatik GmbH (5)

aiT Worst-Case Execution Time Analyzers

LOGO_aiT Worst-Case Execution Time Analyzers

CompCert - verified compilation

LOGO_CompCert - verified compilation



TimingProfiler - timing estimates

LOGO_TimingProfiler - timing estimates

ValueAnalyzer: Static Value Analysis

LOGO_ValueAnalyzer: Static Value Analysis

AbsInt provides tools for validation, verification, optimization, and certification of safety-critical software. Key products are the aiT Worst-case Execution Time Analyzer for obtaining timing guarantees, StackAnalyzer for proving the absence of stack overflows, and the Astrée analyzer for proving the absence of runtime errors and data races. All of them can be qualified according to contemporary safety standards.

Since 2015, AbsInt offers two new product lines: TimingProfiler computes execution time estimates of programs without the need to repeatedly provide test inputs, execute, and measure. Therefore, it is ideally suited for constantly monitoring timing behavior during software development and in model-based development environments. CompCert is a formally verified optimizing C compiler. The level of confidence in the correctness of the compilation process is unprecedented and helps meet the highest standards of software assurance.

AbsInt Angewandte Informatik GmbH offers you products from these product groups:

There are no entries in your notes.

Show notes

Other exhibitors

Clicking on an exhibitor opens his profile with more information.

Hall 4 / 4-432

Luxoft GmbH

Direct Exhibitor

The selected entry has been placed in your notes!

If you register you can save your notes permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your notes permanently. Use the instant access to exhibitors or products saved – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your notes mobile too! Simply log in and access them at anytime.