www.absint.com
Registrato
Data di aggiornamento dell'analisi della pagina:
2026/06/09 17:48:05
Data dell'ultimo aggiornamento whois:
2026/08/04 10:24:06
Stato del dominio
Registrato
Pagato fino
06.08.2026
Disponibile da
05.09.2026
×
![Schermata del sito Web a schermo intero]()
www.absint.com Schermata del sito web
Backup del dominio
Screenshot della pagina principale di www.absint.com, assunto 04.08.2026
32.76 MB
Dimensioni dell'archivio
81
File in archivio
04.08.2026
Data di creazione
HTML, CSS, JS, Images
Tipi di file
Punteggio SEO
74.66%
109
Punteggio raggiunto
146
Punteggio massimo
Informazioni principali
Titolo: AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Descrizione: Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
Parole chiave: sconosciuto
Codifica della pagina:
utf-8
Dimensione file di pagina: 12 KB
Informazioni sul server
IP: 212.132.76.42
Posizione: Germany,DE,,,51.2993,9.491,Europe/Berlin
Server HTTP: apache
Codifica: utf-8
Elenco dei meta tag
- 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.
Collegamenti interni
Collegamenti esterni
Informazioni 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
Dati grezzi 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: /
Controllo SEO
SEO tecnica
✓
Codice di risposta
200
Stato 200 OK: la pagina viene caricata correttamente.
✓
Codifica dei caratteri
Page: utf-8, Header: utf-8
Codifica dei caratteri coerente tra HTML e intestazioni.
✓
Dimensioni della pagina
12771 bytes
Dimensioni della pagina accettabili per il caricamento rapido.
✓
Risorse
4 total
Numero ottimale di risorse.
✓
Tag hreflang
0 hreflang tags
Aggiungi tag hreflang se hai contenuti multilingue.
✓
Robots.txt
Exists
File robots.txt trovato.
✓
Sitemap
Declared in robots.txt
Mappa del sito dichiarata in robots.txt.
✓
HTTPS
Yes
Connessione HTTPS sicura abilitata.
!
Compressione
Not detected
Abilita la compressione gzip o zstd per ridurre le dimensioni dei file.
!
Memorizzazione nella cache
Not set
Aggiungi intestazioni di controllo della cache per migliorare la velocità di caricamento per i visitatori di ritorno.
✓
Velocità della pagina
0.95 ms
Ottima velocità di caricamento.
SEO sulla pagina
!
Titolo
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Titolo troppo lungo. Ridurre a 30-60 caratteri per evitare il troncamento.
✓
Meta descrizione
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software. Lenght:124
Buona lunghezza della meta descrizione (100-160 caratteri).
✓
Intestazione H1
1 found - "Unique tools and servicesfor static analysis
and formal verificationof safety-critical software."
Buono: è stata trovata una sola intestazione H1.
✓
Conteggio parole
575
Buona lunghezza del contenuto (si consigliano 500-2000 parole).
!
Etichetta canonica
Aggiungi il tag canonico per evitare problemi di contenuto duplicato.
✓
Meta duplicata
[]
Nessun meta tag duplicato trovato.
✓
Parole chiave
Le meta parole chiave sono facoltative (non utilizzate dai principali motori di ricerca).
Contenuti e UX
✓
Lingua
en
Attributo della lingua impostato correttamente.
✓
Immagini
0 total, 0 missing ALT
Tutte le immagini hanno il testo ALT corretto.
✓
Visualizzazione
width=device-width, initial-scale=1.0
Meta tag Viewport impostato correttamente per i dispositivi mobili.
!
Apri grafico
Missing: og:title, og:description, og:image, og:url
Aggiungi i tag OpenGraph mancanti per la condivisione sui social media:og:title, og:description, og:image, og:url
!
Dati strutturati
0 JSON-LD scripts
Aggiungi dati strutturati (JSON-LD) per rich snippet e una migliore SEO.