Legal notices and terms


AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbruecken

Phone: +49 681 383 600
Fax:+49 681 383 60 20

Represented by Dr.-Ing. Christian Ferdinand (CEO)
Saarbruecken City Court commercial register number: HRB 11234
VAT registration number: DE192589616
Tax number: 040/105/01720
IBAN: DE02 5919 0000 0001 9340 07


Content and Web design © 1998–2024 AbsInt Ange­wandte Informatik GmbH. All Rights Re­served. Unless otherwise indicated, all text, logos, images, graphics, animations, scripts and other files, as well as their arrangement on AbsInt Internet sites are subject to Copyright and other intellectual property protection. These objects may not be copied for commercial use or distribution, nor may these objects be modified or reposted to other sites without prior written consent of AbsInt Ange­wandte Informatik GmbH.

Certain images throughout the site are licensed from Commons under a Creative Commons Attribution-ShareAlike license. Such images are explicitly attributed to their respective authors directly in the footer of each page they appear on. These images, including our modified versions of them, may be further distributed and adapted under the terms of the license specified.

aiT © 2002–2024 AbsInt Ange­wandte Infor­ma­tik GmbH. StackAnalyzer © 2000–2024 AbsInt An­gewandte Infor­ma­tik GmbH. ValueAnalyzer © 2004–2024 AbsInt Ange­wandte Infor­ma­tik GmbH. EnergyAnalyzer © 2018–2024 AbsInt Ange­wandte Infor­ma­tik GmbH. TimingProfiler © 2014–2024 AbsInt Ange­wandte Infor­ma­tik GmbH. TimeWeaver © 2017–2024 AbsInt Ange­wandte Infor­ma­tik GmbH. Astrée © 2001–2008 CNRS and ENS, © 2009–2024 CNRS, ENS, and AbsInt Ange­wandte In­for­matik GmbH. RuleChecker © 2014–2024 AbsInt An­gewandte Infor­ma­tik GmbH. “MISRA”, “MISRA C”, and “MISRA C++” are registered trademarks of the MISRA Consortium, Limited, and are used under license. No endorsement of products or tools by MISRA is implied. CompCert © 2007–2024 INRIA. aiSee © 2000–2014 AbsInt Ange­wandte Infor­ma­tik GmbH, © 1993–2000 Saarland University. aiPop © 1999–2009 AbsInt Ange­wandte Infor­ma­tik GmbH. PAG © 1998–2009 AbsInt Ange­wandte Infor­ma­tik GmbH and Saarland University. aiScan © 1999–2003, 2015–2016 AbsInt Ange­wandte Infor­matik GmbH.

No warranties or representations

This information is provided by AbsInt Ange­wandte Infor­ma­tik GmbH “as is” and without warranty of any kind, expressed or implied, including (but not limited to) any implied warranties of mer­chantability, fitness for any particular purpose, or non-infringement. While the information provided is believed to be accurate, it may include errors or inaccuracies.

»Privacy policy