www.absint.com
Registrado
Data de atualização da análise da página:
2026/06/09 17:48:05
Data da última atualização do whois:
2026/08/04 10:24:06
Status do domínio
Registrado
Pago até
06.08.2026
Disponível em
05.09.2026
×
![Captura de tela do site em tela cheia]()
www.absint.com Captura de tela do site
Backup de Domínio
Captura de tela da página principal do www.absint.com, assumido 04.08.2026
32.76 MB
Tamanho do arquivo
81
Arquivos em arquivo
04.08.2026
Data de criação
HTML, CSS, JS, Images
Tipos de arquivo
Pontuação de SEO
74.66%
109
Pontuação alcançada
146
Pontuação máxima
Informações Principais
Título: AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Descrição: Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
Palavras-chave: desconhecido
Codificação de página:
utf-8
Tamanho do arquivo da página: 12 KB
Informações do servidor
IP: 212.132.76.42
Localização: Germany,DE,,,51.2993,9.491,Europe/Berlin
Servidor HTTP: apache
Codificação: utf-8
Lista de 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.
Links internos
Links externos
Informações 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
Dados brutos 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 de SEO
SEO técnico
✓
Código de resposta
200
Status 200 OK – a página carrega corretamente.
✓
Codificação de caracteres
Page: utf-8, Header: utf-8
Codificação de caracteres consistente entre HTML e cabeçalhos.
✓
Tamanho da página
12771 bytes
Tamanho de página aceitável para carregamento rápido.
✓
Recursos
4 total
Número ideal de recursos.
✓
Hreflang Tags
0 hreflang tags
Adicione tags hreflang se você tiver conteúdo multilíngue.
✓
Robots.txt
Exists
Arquivo Robots.txt encontrado.
✓
Sitemap
Declared in robots.txt
Sitemap declarado em robots.txt.
✓
HTTPS
Yes
Conexão HTTPS segura habilitada.
!
Compressão
Not detected
Ative a compactação gzip ou zstd para reduzir o tamanho dos arquivos.
!
Cache
Not set
Adicione cabeçalhos de controle de cache para melhorar a velocidade de carregamento dos visitantes recorrentes.
✓
Velocidade da página
0.95 ms
Excelente velocidade de carregamento.
SEO na página
!
Título
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Título muito longo. Reduza para 30-60 caracteres para evitar truncamento.
✓
Meta descrição
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software. Lenght:124
Bom comprimento de meta descrição (100-160 caracteres).
✓
Título H1
1 found - "Unique tools and servicesfor static analysis
and formal verificationof safety-critical software."
Bom - único título H1 encontrado.
✓
Contagem de palavras
575
Bom comprimento de conteúdo (500-2.000 palavras recomendadas).
!
Tag canônica
Adicione tag canônica para evitar problemas de conteúdo duplicado.
✓
Meta duplicada
[]
Nenhuma metatag duplicada encontrada.
✓
Palavras-chave
Meta palavras-chave são opcionais (não usadas pelos principais mecanismos de pesquisa).
Conteúdo e experiência do usuário
✓
Linguagem
en
Atributo de idioma definido corretamente.
✓
Imagens
0 total, 0 missing ALT
Todas as imagens possuem texto ALT adequado.
✓
Janela de visualização
width=device-width, initial-scale=1.0
Meta tag da viewport configurada corretamente para dispositivos móveis.
!
Abrir gráfico
Missing: og:title, og:description, og:image, og:url
Adicione tags OpenGraph ausentes para compartilhamento em mídias sociais:og:title, og:description, og:image, og:url
!
Dados Estruturados
0 JSON-LD scripts
Adicione dados estruturados (JSON-LD) para rich snippets e melhor SEO.