www.absint.com
Registrat
Data d'actualització de l'anàlisi de la pàgina:
2026/06/09 17:48:05
Data de l'última actualització de whois:
2026/08/04 10:24:06
Estat del domini
Registrat
Fins pagat
06.08.2026
Disponible des de
05.09.2026
×
![Captura de pantalla del lloc web a pantalla completa]()
www.absint.com Captura de pantalla del lloc web
Còpia de seguretat del domini
Captura de pantalla de la pàgina principal de www.absint.com, assumit 04.08.2026
32.76 MB
Mida de l'arxiu
81
Arxius a l'Arxiu
04.08.2026
Data de creació
HTML, CSS, JS, Images
Tipus de fitxers
Puntuació SEO
74.66%
109
Puntuació aconseguida
146
Puntuació màxima
Informació principal
Títol: AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Descripció: Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
Paraules clau: desconegut
Codificació de pàgines:
utf-8
Mida del fitxer de la pàgina: 12 KB
Informació del servidor
IP: 212.132.76.42
Ubicació: Germany,DE,,,51.2993,9.491,Europe/Berlin
Servidor HTTP: apache
Codificació: utf-8
Llista de metaetiquetes
- 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.
Enllaços interns
Enllaços externs
Informació 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
Dades en brut 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: /
Auditoria SEO
SEO tècnic
✓
Codi de resposta
200
Estat 200 D'acord - la pàgina es carrega correctament.
✓
Codificació de caràcters
Page: utf-8, Header: utf-8
Codificació de caràcters coherent entre HTML i capçaleres.
✓
Mida de la pàgina
12771 bytes
Mida de pàgina acceptable per a una càrrega ràpida.
✓
Recursos
4 total
Nombre òptim de recursos.
✓
Etiquetes Hreflang
0 hreflang tags
Afegiu etiquetes hreflang si teniu contingut multilingüe.
✓
Robots.txt
Exists
S'ha trobat el fitxer Robots.txt.
✓
Sitemap
Declared in robots.txt
Mapa del lloc declarat a robots.txt.
✓
HTTPS
Yes
Connexió HTTPS segura activada.
!
Compressió
Not detected
Activeu la compressió gzip o zstd per reduir la mida dels fitxers.
!
Emmagatzematge a la memòria cau
Not set
Afegiu capçaleres de control de memòria cau per millorar la velocitat de càrrega dels visitants que tornen.
✓
Velocitat de la pàgina
0.95 ms
Excel·lent velocitat de càrrega.
SEO a la pàgina
!
Títol
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Títol massa llarg. Reduïu a 30-60 caràcters per evitar el truncat.
✓
Meta descripció
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software. Lenght:124
Bona longitud de metadescripció (100-160 caràcters).
✓
Encapçalament H1
1 found - "Unique tools and servicesfor static analysis
and formal verificationof safety-critical software."
Bé: s'ha trobat un sol encapçalament H1.
✓
Recompte de paraules
575
Bona extensió del contingut (es recomana 500-2000 paraules).
!
Etiqueta canònica
Afegiu una etiqueta canònica per evitar problemes de contingut duplicat.
✓
Meta duplicat
[]
No s'han trobat metaetiquetes duplicades.
✓
Paraules clau
Les meta paraules clau són opcionals (no les fan servir els principals motors de cerca).
Contingut i UX
✓
Llengua
en
Atribut de l'idioma establert correctament.
✓
Imatges
0 total, 0 missing ALT
Totes les imatges tenen el text ALT adequat.
✓
Mirador
width=device-width, initial-scale=1.0
Metaetiqueta de la finestra gràfica correctament configurada per a dispositius mòbils.
!
Gràfic obert
Missing: og:title, og:description, og:image, og:url
Afegeix les etiquetes d'OpenGraph que falten per compartir les xarxes socials:og:title, og:description, og:image, og:url
!
Dades estructurades
0 JSON-LD scripts
Afegiu dades estructurades (JSON-LD) per obtenir fragments enriquits i un millor SEO.