AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbruecken
Germany
| Phone: | +49 681 383 600 |
| Fax: | +49 681 383 60 20 |
| Email: | info@absint.com |
| Web: | www.absint.com |
Represented by Dr.-Ing. Christian Ferdinand, CEO
Saarbruecken City Court commercial register number: HRB 11234
VAT registration number: DE192589616
Tax number: 040/105/01720
TISAX Scope ID: SKVPV6
BIC: SABADE5S
IBAN: DE02 5919 0000 0001 9340 07
Content and Web design © 1998–2024 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.
A number of background 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 Angewandte Informatik GmbH. StackAnalyzer © 2000–2024 AbsInt Angewandte Informatik GmbH. ValueAnalyzer © 2004–2024 AbsInt Angewandte Informatik GmbH. EnergyAnalyzer © 2018–2024 AbsInt Angewandte Informatik GmbH. TimingProfiler © 2014–2024 AbsInt Angewandte Informatik GmbH. TimeWeaver © 2017–2024 AbsInt Angewandte Informatik GmbH. Astrée © 2001–2008 CNRS and ENS, © 2009–2024 CNRS, ENS, and AbsInt Angewandte Informatik GmbH. RuleChecker © 2014–2024 AbsInt Angewandte Informatik 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 Angewandte Informatik GmbH, © 1993–2000 Saarland University. aiPop © 1999–2009 AbsInt Angewandte Informatik GmbH. PAG © 1998–2009 AbsInt Angewandte Informatik GmbH and Saarland University. 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.
