AbsInt Angewandte Informatik GmbH
Science Park 1
|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–2017 AbsInt Angewandte Informatik GmbH. All Rights Reserved. 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 Angewandte 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–2017 AbsInt Angewandte Informatik GmbH. StackAnalyzer © 2000–2017 AbsInt Angewandte Informatik GmbH. PAG © 1998–2009 AbsInt Angewandte Informatik GmbH and Saarland University. ValueAnalyzer © 2004–2017 AbsInt Angewandte Informatik GmbH. TimingProfiler © 2014–2017 AbsInt Angewandte Informatik GmbH. Astrée © 2001–2008 CNRS and ENS, © 2009–2017 CNRS, ENS, and AbsInt Angewandte Informatik GmbH. CompCert © 2007–2017 INRIA. aiSee © 2000–2014 AbsInt Angewandte Informatik GmbH, © 1993–2000 Saarland University. aiPop © 1999–2009 AbsInt Angewandte Informatik GmbH. aiScan © 1999–2003, 2015–2016 AbsInt Angewandte Informatik GmbH.
This information is provided by AbsInt Angewandte Informatik GmbH “as is” and without warranty of any kind, expressed or implied, including (but not limited to) any implied warranties of merchantability, 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 transmitted 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 transmitting it. Your full IP address will only be transmitted 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
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.