www.absint.com
Registrado
Fecha de actualización del análisis de página:
2026/06/09 17:48:05
Fecha de la última actualización de whois:
2026/08/04 10:24:06
Estado del dominio
Registrado
Pagado hasta
06.08.2026
Disponible desde
05.09.2026
×
![Captura de pantalla del sitio web en pantalla completa]()
www.absint.com Captura de pantalla del sitio web
Copia de seguridad de dominio
Captura de pantalla de la página principal de www.absint.com, asumido 04.08.2026
32.76 MB
Tamaño del archivo
81
Archivos en el archivo
04.08.2026
Fecha de creación
HTML, CSS, JS, Images
Tipos de archivos
Puntuación SEO
74.66%
109
Puntuación obtenida
146
Puntuación máxima
Información principal
Título: AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Descripción: Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
Palabras clave: desconocido
Codificación de página:
utf-8
Tamaño del archivo de página: 12 KB
Información del servidor
IP: 212.132.76.42
Ubicación: Germany,DE,,,51.2993,9.491,Europe/Berlin
Servidor HTTP: apache
Codificación: utf-8
Lista de metaetiquetas
- 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.
Enlaces internos
Enlaces externos
Información 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
Datos brutos de 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: /
Auditoría SEO
SEO técnico
✓
Código de respuesta
200
Estado 200 OK: la página se carga correctamente.
✓
Codificación de caracteres
Page: utf-8, Header: utf-8
Codificación de caracteres consistente entre HTML y encabezados.
✓
Tamaño de página
12771 bytes
Tamaño de página aceptable para carga rápida.
✓
Recursos
4 total
Número óptimo de recursos.
✓
Hreflang Etiquetas
0 hreflang tags
Agregue etiquetas hreflang si tiene contenido multilingüe.
✓
Robots.txt
Exists
Se encontró el archivo robots.txt.
✓
Sitemap
Declared in robots.txt
Mapa del sitio declarado en robots.txt.
✓
HTTPS
Yes
Conexión HTTPS segura habilitada.
!
Compresión
Not detected
Habilite la compresión gzip o zstd para reducir el tamaño de los archivos.
!
Almacenamiento en caché
Not set
Agregue encabezados de control de caché para mejorar la velocidad de carga para los visitantes que regresan.
✓
Velocidad de página
0.95 ms
Excelente velocidad de carga.
SEO en la página
!
Título
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Título demasiado largo. Reduzca a 30-60 caracteres para evitar el truncamiento.
✓
Meta descripción
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software. Lenght:124
Buena longitud de metadescripción (100-160 caracteres).
✓
Rumbo H1
1 found - "Unique tools and servicesfor static analysis
and formal verificationof safety-critical software."
Bien: se encontró un único encabezado H1.
✓
Conteo de palabras
575
Buena extensión del contenido (se recomiendan entre 500 y 2000 palabras).
!
Etiqueta canónica
Agregue una etiqueta canónica para evitar problemas de contenido duplicado.
✓
Meta duplicada
[]
No se encontraron metaetiquetas duplicadas.
✓
Palabras clave
Las meta palabras clave son opcionales (no utilizadas por los principales motores de búsqueda).
Contenido y UX
✓
Idioma
en
Atributo de idioma configurado correctamente.
✓
Imágenes
0 total, 0 missing ALT
Todas las imágenes tienen texto ALT adecuado.
✓
Ventana gráfica
width=device-width, initial-scale=1.0
Metaetiqueta de ventana gráfica configurada correctamente para dispositivos móviles.
!
Abrir gráfico
Missing: og:title, og:description, og:image, og:url
Agregue las etiquetas OpenGraph que faltan para compartir en las redes sociales:og:title, og:description, og:image, og:url
!
Datos estructurados
0 JSON-LD scripts
Agregue datos estructurados (JSON-LD) para obtener fragmentos enriquecidos y un mejor SEO.