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–2018 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 corresponding license.

aiT © 2002–2018 AbsInt Ange­wandte Infor­ma­tik GmbH. StackAnalyzer © 2000–2018 AbsInt An­gewandte Infor­ma­tik GmbH. PAG © 1998–2009 AbsInt Ange­wandte Infor­ma­tik GmbH and Saarland University. ValueAnalyzer © 2004–2018 AbsInt Ange­wandte Infor­ma­tik GmbH. TimingProfiler © 2014–2018 AbsInt Ange­wandte Infor­ma­tik GmbH. TimeWeaver © 2017–2018 AbsInt Ange­wandte Infor­ma­tik GmbH. Astrée © 2001–2008 CNRS and ENS, © 2009–2018 CNRS, ENS, and AbsInt Ange­wandte In­for­matik GmbH. CompCert © 2007–2018 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. 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.


This website uses Google Analytics, a web analytics service provided by Google. Google Analytics uses so-called “cookies”, small text files placed on your computer, to help analyze how you use the site. The information generated by the cookie about your use of the website (including your IP address) will be trans­mitted to and stored by Google on servers in the United States. The IP anonymization is activated on this website (by adding gat._anonymizeIp(); to the Google Analytics tracking code). Within EU Member States or in other member states of the European Economic Area Google will shorten your IP address before trans­mitting it. Your full IP address will only be trans­mitted to a Google server in the USA and shortened there in exceptional cases. Google will use this information for the purpose of evaluating your use of the website, compiling reports on website activity for website operators and providing other services relating to website activity and internet usage. Google may also transfer this information to third parties where required to do so by&nbp;law, or where such third parties process the information on Google’s behalf. Google will not associate your IP address with any other data held by Google. You may refuse the use of cookies by selecting the appropriate settings in your browser. Another possibility to prohibit Google Analytics from collecting data is by installing a special browser add-on. By using this website, you consent to the processing of data about you by Google in the manner and for the purposes set out above. For further details, see the general information on Google Analytics and data privacy.