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 one4vision GmbH.
Siège social : 3–5, Goethestrasse — 66121 Sarrebruck, Allemagne
Téléphone : (+49 681) 9.67.27.60
Courrier électronique : info@one4vision.de

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–2018 AbsInt Angewandte Informatik GmbH. StackAnalyzer © 2000–2018 AbsInt Angewandte Informatik GmbH. Astrée est developé et distribué par AbsInt sous licence de CNRS/ENS. ValueAnalyzer © 2004–2018 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–2018 INRIA. TimingProfiler © 2014–2018 AbsInt Ange­wandte Infor­ma­tik GmbH. TimeWeaver © 2017–2018 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.

Google Analytics

Ce site utilise Google Analytics, un service d’analyse de site internet fourni par Google. Google Analytics utilise des cookies, qui sont des fichiers texte placés sur votre ordinateur, pour aider le site internet à analyser l’utilisation du site par ses utilisateurs. Les données générées par les cookies concernant votre utilisation du site (y compris votre adresse IP) seront transmises et stockées par Google sur des serveurs situés aux Etats-Unis. Sur ce site web Google Analytics a été étendu par le code gat._anonymizeIp(); pour assurer un enregistrement anonyme des addresses IP. Votre adresse IP donc est abrégée dans les États membres de l’Union européenne ou dans d'autres états membres de l’accord sur l’Espace économique européen. Seulement dans des cas exceptionnels l’adresse IP complète est transférée à un serveur de Google dans les États-Unis et y est abrégée. Google utilisera cette information dans le but d’évaluer votre utilisation du site, de compiler des rapports sur l’activité du site à destination de son éditeur et de fournir d’autres services relatifs à l’activité du site et à l’utilisation d’Internet. Google est susceptible de communiquer ces données à des tiers en cas d’obligation légale ou lorsque ces tiers traitent ces données pour le compte de Google, y compris notamment l’éditeur de ce site. Google ne recoupera pas votre adresse IP avec toute autre donnée détenue par Google. Vous pouvez désactiver l’utilisation de cookies en sélectionnant les paramètres appropriés de votre navigateur. En utilisant ce site internet, vous consentez expressément au traitement de vos données nominatives par Google dans les conditions et pour les finalités décrites ci-dessus.