www.absint.com
Geregistreerd
Updatedatum van paginaanalyse:
2026/06/09 17:48:05
Laatste whois-updatedatum:
2026/08/05 13:45:44
Domeinstatus
Geregistreerd
Betaald tot
06.08.2026
Verkrijgbaar vanaf
05.09.2026
×
![Schermafbeelding van website op volledig scherm]()
www.absint.com Schermafbeelding van website
Domeinback-up
Screenshot van de hoofdpagina van www.absint.com, aangenomen 04.08.2026
32.76 MB
Archiefgrootte
81
Bestanden in archief
04.08.2026
Aanmaakdatum
HTML, CSS, JS, Images
Bestandstypen
SEO-score
74.66%
109
Score behaald
146
Maximale score
Belangrijkste informatie
Titel: AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Beschrijving: Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
Trefwoorden: onbekend
Paginacodering:
utf-8
Pagina Bestandsgrootte: 12 KB
Serverinformatie
IP: 212.132.76.42
Locatie: Germany,DE,,,51.2993,9.491,Europe/Berlin
Http-server: apache
Codering: utf-8
Lijst metatags
- 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 koppelingen
Externe koppelingen
Whois-informatie
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 onbewerkte gegevens
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-05T13:45:44Z
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
Technische SEO
✓
Reactiecode
200
Status 200 OK - pagina wordt correct geladen.
✓
Tekencodering
Page: utf-8, Header: utf-8
Tekencodering consistent tussen HTML en headers.
✓
Paginagrootte
12771 bytes
Paginaformaat acceptabel voor snel laden.
✓
Bronnen
4 total
Optimaal aantal bronnen.
✓
Hreflang-tags
0 hreflang tags
Voeg hreflang-tags toe als u meertalige inhoud heeft.
✓
Robots.txt
Exists
Robots.txt-bestand gevonden.
✓
Sitemap
Declared in robots.txt
Sitemap gedeclareerd in robots.txt.
✓
HTTPS
Yes
Beveiligde HTTPS-verbinding ingeschakeld.
!
Compressie
Not detected
Schakel gzip- of zstd-compressie in om de bestandsgrootte te verkleinen.
!
Caching
Not set
Voeg cache-control headers toe om de laadsnelheid voor terugkerende bezoekers te verbeteren.
✓
Paginasnelheid
0.95 ms
Uitstekende laadsnelheid.
SEO op de pagina
!
Titel
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Titel te lang. Reduceer tot 30-60 tekens om afkapping te voorkomen.
✓
Metabeschrijving
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software. Lenght:124
Goede lengte van de metabeschrijving (100-160 tekens).
✓
H1-rubriek
1 found - "Unique tools and servicesfor static analysis
and formal verificationof safety-critical software."
Goed - enkele H1-rubriek gevonden.
✓
Woorden tellen
575
Goede inhoudslengte (500-2000 woorden aanbevolen).
!
Canonieke tag
Voeg een canonieke tag toe om problemen met dubbele inhoud te voorkomen.
✓
Dubbele meta
[]
Geen dubbele metatags gevonden.
✓
Trefwoorden
Meta-trefwoorden zijn optioneel (worden niet gebruikt door grote zoekmachines).
Inhoud en UX
✓
Taal
en
Taalkenmerk correct ingesteld.
✓
Afbeeldingen
0 total, 0 missing ALT
Alle afbeeldingen hebben de juiste ALT-tekst.
✓
Kijkpoort
width=device-width, initial-scale=1.0
Viewport-metatag correct ingesteld voor mobiele apparaten.
!
Grafiek openen
Missing: og:title, og:description, og:image, og:url
Voeg ontbrekende OpenGraph-tags toe voor het delen op sociale media:og:title, og:description, og:image, og:url
!
Gestructureerde gegevens
0 JSON-LD scripts
Voeg gestructureerde gegevens (JSON-LD) toe voor rich snippets en betere SEO.
Posities binnen Google
Zoek zinnen - Google
| Positie | Zin | Pagina | Fragment |
|---|---|---|---|
| 7 | /rulechecker/complia... |