www.absint.com
Eingetragen
Aktualisierungsdatum der Seitenanalyse:
2026/06/09 17:48:05
Datum der letzten Whois-Aktualisierung:
2026/08/04 10:24:06
Domänenstatus
Eingetragen
Bezahlt bis
06.08.2026
Erhältlich ab
05.09.2026
×
![Vollbild-Screenshot der Website]()
www.absint.com Website-Screenshot
Domänensicherung
Screenshot der Hauptseite von www.absint.com, übernommen 04.08.2026
32.76 MB
Archivgröße
81
Dateien im Archiv
04.08.2026
Erstellungsdatum
HTML, CSS, JS, Images
Dateitypen
SEO-Score
74.66%
109
Punktzahl erreicht
146
Maximale Punktzahl
Hauptinformationen
Titel: AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Beschreibung: Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
Schlüsselwörter: unbekannt
Seitenkodierung:
utf-8
Seitendateigröße: 12 KB
Serverinformationen
IP: 212.132.76.42
Standort: Germany,DE,,,51.2993,9.491,Europe/Berlin
HTTP-Server: apache
Codierung: utf-8
Meta-Tags-Liste
- 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.
Interne Links
Externe Links
Whois-Informationen
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
Whois-Rohdaten
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: /
SEO-Audit
Technisches SEO
✓
Antwortcode
200
Status 200 OK – Seite wird korrekt geladen.
✓
Zeichenkodierung
Page: utf-8, Header: utf-8
Konsistente Zeichenkodierung zwischen HTML und Headern.
✓
Seitengröße
12771 bytes
Seitengröße für schnelles Laden akzeptabel.
✓
Ressourcen
4 total
Optimale Anzahl an Ressourcen.
✓
Hreflang-Tags
0 hreflang tags
Fügen Sie Hreflang-Tags hinzu, wenn Sie mehrsprachige Inhalte haben.
✓
Robots.txt
Exists
Robots.txt-Datei gefunden.
✓
Sitemap
Declared in robots.txt
Sitemap in robots.txt deklariert.
✓
HTTPS
Yes
Sichere HTTPS-Verbindung aktiviert.
!
Kompression
Not detected
Aktivieren Sie die gzip- oder zstd-Komprimierung, um die Dateigröße zu reduzieren.
!
Caching
Not set
Fügen Sie Cache-Control-Header hinzu, um die Ladegeschwindigkeit für wiederkehrende Besucher zu verbessern.
✓
Seitengeschwindigkeit
0.95 ms
Hervorragende Ladegeschwindigkeit.
On-Page-SEO
!
Titel
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Titel zu lang. Reduzieren Sie die Länge auf 30–60 Zeichen, um Kürzungen zu vermeiden.
✓
Meta-Beschreibung
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software. Lenght:124
Gute Länge der Metabeschreibung (100–160 Zeichen).
✓
H1-Überschrift
1 found - "Unique tools and servicesfor static analysis
and formal verificationof safety-critical software."
Gut – einzelne H1-Überschrift gefunden.
✓
Wortanzahl
575
Gute Inhaltslänge (500–2000 Wörter empfohlen).
!
Kanonisches Tag
Fügen Sie ein kanonisches Tag hinzu, um Probleme mit doppeltem Inhalt zu vermeiden.
✓
Doppelte Meta
[]
Keine doppelten Meta-Tags gefunden.
✓
Schlüsselwörter
Meta-Schlüsselwörter sind optional (werden von großen Suchmaschinen nicht verwendet).
Inhalt und UX
✓
Sprache
en
Sprachattribut richtig eingestellt.
✓
Bilder
0 total, 0 missing ALT
Alle Bilder haben den richtigen ALT-Text.
✓
Ansichtsfenster
width=device-width, initial-scale=1.0
Viewport-Meta-Tag für mobile Geräte richtig eingestellt.
!
Diagramm öffnen
Missing: og:title, og:description, og:image, og:url
Fügen Sie fehlende OpenGraph-Tags für das Teilen in sozialen Medien hinzu:og:title, og:description, og:image, og:url
!
Strukturierte Daten
0 JSON-LD scripts
Fügen Sie strukturierte Daten (JSON-LD) für Rich Snippets und bessere SEO hinzu.