www.absint.com
Inscrit
Date de mise à jour de l'analyse de la page:
2026/06/09 17:48:05
Date de la dernière mise à jour whois:
2026/08/04 10:24:06
Statut du domaine
Inscrit
Payé jusqu'à
06.08.2026
Disponible à partir de
05.09.2026
×
![Capture d'écran du site Web en plein écran]()
www.absint.com Capture d'écran du site Web
Sauvegarde de domaine
Capture d'écran de la page principale de www.absint.com, pris en charge 04.08.2026
32.76 MB
Taille des archives
81
Fichiers en archives
04.08.2026
Date de création
HTML, CSS, JS, Images
Types de fichiers
Score SEO
74.66%
109
Score obtenu
146
Note maximale
Informations principales
Titre: AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Description: Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
Mots-clés: inconnu
Encodage des pages:
utf-8
Taille du fichier de page: 12 KB
Informations sur le serveur
IP: 212.132.76.42
Emplacement: Germany,DE,,,51.2993,9.491,Europe/Berlin
Serveur HTTP: apache
Codage: utf-8
Liste des balises méta
- equiv: Content-Type content: text/html; charset=utf-8
- name: viewport content: width=device-width, initial-scale=1.0
- name: page-topic content: Homepage of AbsInt Angewandte Informatik GmbH
- name: description content: Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
- name: keywords content: absint,abstract,interpretation,static,analysis,safety,security,critical,software,embedded,real-time,system,formal,verification,verified,compilation,compiler,analyzer,WCET,stack,value,runtime,rule,check
- equiv: content-language content: en
- name: DC.Language content: en
- name: author content: [email protected]
- name: copyright content: Copyright 1998-2026 AbsInt Angewandte Informatik GmbH.
Liens internes
Liens externes
Informations Whois
domain_name: absint.com
update_date: 2025-07-10T19:57:45Z
update_time: 1752177465
creation_date: 1999-08-06T10:23:45Z
creation_time: 933935025
expiration_date: 2026-08-06T10:23:37Z
Données brutes Whois
Domain Name: ABSINT.COM
Registrar: Ascio Technologies, Inc. Danmark - Filial af Ascio technologies, Inc. USA
Domain Status: active
Creation Date: 1999-08-06T10:23:45Z
Registry Expiry Date: 2026-08-06T10:23:37Z
Updated Date: 2025-07-10T19:57:45Z
Name Server: ROOT-DNS.NETCUP.NET
Name Server: SECOND-DNS.NETCUP.NET
Name Server: THIRD-DNS.NETCUP.NET
REGISTRAR Contact: Ascio Technologies, Inc. Danmark - Filial af Ascio technologies, Inc. USA
>>> Last update of RDAP database: 2026-08-04T10:24:06Z
Robots.txt
Sitemap: http://www.absint.com/sitemap.xml
User-agent: AI2Bot
User-agent: Ai2Bot-Dolma
User-agent: aiHitBot
User-agent: Amazonbot
User-agent: Andibot
User-agent: anthropic-ai
User-agent: Applebot
User-agent: Applebot-Extended
User-agent: Awario
User-agent: bedrockbot
User-agent: Brightbot 1.0
User-agent: Bytespider
User-agent: CCBot
User-agent: ChatGPT-User
User-agent: Claude-SearchBot
User-agent: Claude-User
User-agent: Claude-Web
User-agent: ClaudeBot
User-agent: cohere-ai
User-agent: cohere-training-data-crawler
User-agent: Cotoyogi
User-agent: Crawlspace
User-agent: Datenbank Crawler
User-agent: Devin
User-agent: Diffbot
User-agent: DuckAssistBot
User-agent: Echobot Bot
User-agent: EchoboxBot
User-agent: FacebookBot
User-agent: facebookexternalhit
User-agent: Factset_spyderbot
User-agent: FirecrawlAgent
User-agent: FriendlyCrawler
User-agent: Gemini-Deep-Research
User-agent: Google-CloudVertexBot
User-agent: Google-Extended
User-agent: GoogleOther
User-agent: GoogleOther-Image
User-agent: GoogleOther-Video
User-agent: GPTBot
User-agent: iaskspider/2.0
User-agent: ICC-Crawler
User-agent: ImagesiftBot
User-agent: img2dataset
User-agent: ISSCyberRiskCrawler
User-agent: Kangaroo Bot
User-agent: meta-externalagent
User-agent: Meta-ExternalAgent
User-agent: meta-externalfetcher
User-agent: Meta-ExternalFetcher
User-agent: MistralAI-User
User-agent: MistralAI-User/1.0
User-agent: MyCentralAIScraperBot
User-agent: netEstate Imprint Crawler
User-agent: NovaAct
User-agent: OAI-SearchBot
User-agent: omgili
User-agent: omgilibot
User-agent: Operator
User-agent: PanguBot
User-agent: Panscient
User-agent: panscient.com
User-agent: Perplexity-User
User-agent: PerplexityBot
User-agent: PetalBot
User-agent: PhindBot
User-agent: Poseidon Research Crawler
User-agent: QualifiedBot
User-agent: QuillBot
User-agent: quillbot.com
User-agent: SBIntuitionsBot
User-agent: Scrapy
User-agent: SemrushBot-OCOB
User-agent: SemrushBot-SWA
User-agent: Sidetrade indexer bot
User-agent: TikTokSpider
User-agent: Timpibot
User-agent: VelenPublicWebCrawler
User-agent: WARDBot
User-agent: Webzio-Extended
User-agent: wpbot
User-agent: YandexAdditional
User-agent: YandexAdditionalBot
User-agent: YouBot
Disallow: /
Audit SEO
Référencement technique
✓
Code de réponse
200
Statut 200 OK - la page se charge correctement.
✓
Codage des caractères
Page: utf-8, Header: utf-8
Codage des caractères cohérent entre le HTML et les en-têtes.
✓
Taille des pages
12771 bytes
Taille de page acceptable pour un chargement rapide.
✓
Ressources
4 total
Nombre optimal de ressources.
✓
Hreflang balises
0 hreflang tags
Ajoutez des balises hreflang si vous avez du contenu multilingue.
✓
Robots.txt
Exists
Fichier Robots.txt trouvé.
✓
Sitemap
Declared in robots.txt
Plan du site déclaré dans robots.txt.
✓
HTTPS
Yes
Connexion HTTPS sécurisée activée.
!
Compression
Not detected
Activez la compression gzip ou zstd pour réduire la taille des fichiers.
!
Mise en cache
Not set
Ajoutez des en-têtes de contrôle du cache pour améliorer la vitesse de chargement des visiteurs qui reviennent.
✓
Vitesse des pages
0.95 ms
Excellente vitesse de chargement.
Référencement sur la page
!
Titre
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Titre trop long. Réduisez-le à 30-60 caractères pour éviter la troncature.
✓
Méta-description
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software. Lenght:124
Bonne longueur de méta description (100-160 caractères).
✓
Titre H1
1 found - "Unique tools and servicesfor static analysis
and formal verificationof safety-critical software."
Bon – un seul en-tête H1 trouvé.
✓
Nombre de mots
575
Bonne longueur de contenu (500 à 2 000 mots recommandés).
!
Balise canonique
Ajoutez une balise canonique pour éviter les problèmes de contenu en double.
✓
Méta en double
[]
Aucune balise méta en double trouvée.
✓
Mots-clés
Les méta-mots-clés sont facultatifs (non utilisés par les principaux moteurs de recherche).
Contenu et UX
✓
Langue
en
Attribut de langue correctement défini.
✓
Images
0 total, 0 missing ALT
Toutes les images ont le texte ALT approprié.
✓
Fenêtre
width=device-width, initial-scale=1.0
Balise méta Viewport correctement définie pour les appareils mobiles.
!
Ouvrir le graphique
Missing: og:title, og:description, og:image, og:url
Ajoutez les balises OpenGraph manquantes pour le partage sur les réseaux sociaux :og:title, og:description, og:image, og:url
!
Données structurées
0 JSON-LD scripts
Ajoutez des données structurées (JSON-LD) pour des extraits enrichis et un meilleur référencement.