Mentions légales

Les Sites Internet absint.fr, absint.de, absint.com, abstract-interpretation.com, program-analysis.com, timing-validation.com, sureal-projekt.org, predator-project.eu, aisee.com, aisee.de, aipop.com, aipop.de, aicall.de, timing-experts.com, stackanalyzer.de, stackanalyzer.com et astree.de sont édités par :

AbsInt Angewandte Informatik GmbH,
S.A.R.L. au capital de 25 565 Euros,
enregistrée au R.C.S. de Sarrebruck, Allemagne sous le numéro HRB 11234,
représentée par Dr.-Ing. Christian Ferdinand, PDG.

Numéro d’identification fiscale : 040/105/01720,
numéro d’identification de l’impôt sur le chiffre d’affaires : DE192589616.

Siège social : Science Park 1, 66123 Sarrebruck, Allemagne
Téléphone : (+49 681) 38.36.00
Courrier électronique : info@absint.com

Responsable de la publication : M. Alexandre Evstiougov-Babaev.

Les Sites sont hébergés par la société Internet Strato AG.
Siège social : Otto-Ostrowski-Straße 7, 10249 Berlin, Allemagne
Téléphone : (+49 30) 3.00.14.60

Droits de propriété intellectuelle

Tous les éléments (textes, images, logos, icônes, logiciels, mise en page…) contenus dans les Sites sont protégés par le droit national et international de la propriété intellectuelle. Ces éléments restent la propriété exclusive d’AbsInt GmbH.

A ce titre, sauf autorisation préalable et écrite d’AbsInt GmbH, vous ne pouvez procéder à aucune reproduction, représentation, adaptation et/ou transformation partielle ou intégrale, et à aucun transfert sur un autre site Internet de tout élément composant les Sites.

Conformément aux dispositions du Code de la Propriété Intellectuelle, seule est autorisée l’utilisation des éléments composant les Sites à des fins personnelles.

Copyright

aiT © 2002–2024 AbsInt Angewandte Informatik GmbH. StackAnalyzer © 2000–2024 AbsInt Angewandte Informatik GmbH. Astrée est developé et distribué par AbsInt sous licence de CNRS/ENS. ValueAnalyzer © 2004–2024 AbsInt Angewandte Informatik GmbH. aiSee © 2000–2017 AbsInt Angewandte Informatik GmbH, © 1993–2000 Université de la Sarre. PAG © 1998–2009 AbsInt Angewandte Informatik GmbH et Université de la Sarre. CompCert © 2007–2024 INRIA. TimingProfiler © 2014–2024 AbsInt Ange­wandte Infor­ma­tik GmbH. TimeWeaver © 2017–2024 AbsInt Ange­wandte Infor­ma­tik GmbH. aiPop © 1999–2009 AbsInt Angewandte Informatik GmbH.

Limitation de responsabilité

Les documents présentés sur les Sites sont fournis « en l’état » et sans aucune garantie ex­presse ou tacite. Les Sites peuvent présenter des erreurs typographiques ou techniques ou autres inexactitudes.