www.absint.com
Registreeritud
Lehekülje analüüsi värskendamise kuupäev:
2026/06/09 17:48:05
Viimase whoisi värskenduse kuupäev:
2026/08/04 10:24:06
Domeeni olek
Registreeritud
Makstud kuni
06.08.2026
Saadaval alates
05.09.2026
×
![Täisekraanil veebisaidi ekraanipilt]()
www.absint.com Veebisaidi ekraanipilt
Domeeni varundamine
Ekraanitõmmis avalehest www.absint.com, peale võetud 04.08.2026
32.76 MB
Arhiivi suurus
81
Failid arhiivis
04.08.2026
Loomise kuupäev
HTML, CSS, JS, Images
Failitüübid
SEO skoor
74.66%
109
Tulemus saavutatud
146
Maksimaalne punktisumma
Peamine teave
Pealkiri: AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Kirjeldus: Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
Märksõnad: teadmata
Lehekülje kodeering:
utf-8
Lehekülje faili suurus: 12 KB
Serveriteave
IP: 212.132.76.42
Asukoht: Germany,DE,,,51.2993,9.491,Europe/Berlin
HTTP-server: apache
Kodeerimine: utf-8
Meta siltide loend
- 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.
Sisemised lingid
Välised lingid
Whoisi teave
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 töötlemata andmed
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: /
SEO audit
Tehniline SEO
✓
Vastuse kood
200
Olek 200 OK – leht laaditakse õigesti.
✓
Märkide kodeerimine
Page: utf-8, Header: utf-8
HTML-i ja päiste vaheline märgikodeering on ühtlane.
✓
Lehekülje suurus
12771 bytes
Lehekülje suurus kiireks laadimiseks vastuvõetav.
✓
Vahendid
4 total
Optimaalne ressursside arv.
✓
Hreflangi sildid
0 hreflang tags
Kui teil on mitmekeelne sisu, lisage hreflang-sildid.
✓
Robots.txt
Exists
Leiti fail Robots.txt.
✓
Sitemap
Declared in robots.txt
Saidikaart on deklareeritud failis robots.txt.
✓
HTTPS
Yes
Turvaline HTTPS-ühendus on lubatud.
!
Kokkusurumine
Not detected
Failide suuruse vähendamiseks lubage gzip- või zstd-tihendamine.
!
Vahemällu salvestamine
Not set
Lisage vahemälu juhtimise päised, et parandada korduvate külastajate laadimiskiirust.
✓
Lehekülje kiirus
0.95 ms
Suurepärane laadimiskiirus.
On-Page SEO
!
Pealkiri
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Pealkiri liiga pikk. Kärpimise vältimiseks vähendage 30–60 tähemärgini.
✓
Meta kirjeldus
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software. Lenght:124
Hea metakirjelduse pikkus (100-160 tähemärki).
✓
H1 Pealkiri
1 found - "Unique tools and servicesfor static analysis
and formal verificationof safety-critical software."
Hea – leitud üks H1 pealkiri.
✓
Sõnade arv
575
Hea sisu pikkus (soovitatav on 500-2000 sõna).
!
Kanooniline silt
Lisage kanooniline silt, et vältida dubleeriva sisuga probleeme.
✓
Dubleeri meta
[]
Dubleerivaid metasilte ei leitud.
✓
Märksõnad
Meta märksõnad on valikulised (suured otsingumootorid ei kasuta).
Sisu ja UX
✓
Keel
en
Keele atribuut on õigesti seadistatud.
✓
Pildid
0 total, 0 missing ALT
Kõikidel piltidel on õige ALT-tekst.
✓
Vaateport
width=device-width, initial-scale=1.0
Vaateava metasilt on mobiilseadmete jaoks õigesti seadistatud.
!
Ava graafik
Missing: og:title, og:description, og:image, og:url
Lisage sotsiaalmeedias jagamiseks puuduvad OpenGraphi sildid:og:title, og:description, og:image, og:url
!
Struktureeritud andmed
0 JSON-LD scripts
Rikkalike väljavõtete ja parema SEO jaoks lisage struktureeritud andmed (JSON-LD).