www.absint.com
Reģistrēts
Lapas analīzes atjaunināšanas datums:
2026/06/09 17:48:05
Pēdējā whois atjaunināšanas datums:
2026/08/05 13:45:44
Domēna statuss
Reģistrēts
Maksāja līdz
06.08.2026
Pieejams no
05.09.2026
×
![Pilnekrāna vietnes ekrānuzņēmums]()
www.absint.com Vietnes ekrānuzņēmums
Domēna dublēšana
Galvenās lapas ekrānuzņēmums www.absint.com, uzņemts 04.08.2026
32.76 MB
Arhīva lielums
81
Faili arhīvā
04.08.2026
Izveidošanas datums
HTML, CSS, JS, Images
Failu veidi
SEO rādītājs
74.66%
109
Rezultāts sasniegts
146
Maksimālais punktu skaits
Galvenā informācija
Nosaukums: AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Apraksts: Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
Atslēgvārdi: nezināms
Lapas kodējums:
utf-8
Lapas faila izmērs: 12 KB
Servera informācija
IP: 212.132.76.42
Atrašanās vieta: Germany,DE,,,51.2993,9.491,Europe/Berlin
HTTP serveris: apache
Kodēšana: utf-8
Meta tagu saraksts
- 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.
Iekšējās saites
Ārējās saites
Whois informācija
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 neapstrādātie dati
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-05T13:45:44Z
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 audits
Tehniskais SEO
✓
Atbildes kods
200
Statuss 200 OK - lapa tiek ielādēta pareizi.
✓
Rakstzīmju kodēšana
Page: utf-8, Header: utf-8
Rakstzīmju kodējums ir konsekvents starp HTML un galvenēm.
✓
Lapas izmērs
12771 bytes
Lapas izmērs ir pieņemams ātrai ielādei.
✓
Resursi
4 total
Optimāls resursu skaits.
✓
Hreflang tagi
0 hreflang tags
Pievienojiet tagus hreflang, ja jums ir daudzvalodu saturs.
✓
Robots.txt
Exists
Atrasts fails Robots.txt.
✓
Sitemap
Declared in robots.txt
Vietnes karte deklarēta failā robots.txt.
✓
HTTPS
Yes
Ir iespējots drošs HTTPS savienojums.
!
Saspiešana
Not detected
Iespējojiet gzip vai zstd saspiešanu, lai samazinātu failu izmērus.
!
Kešatmiņa
Not set
Pievienojiet kešatmiņas vadības galvenes, lai uzlabotu atkārtoto apmeklētāju ielādes ātrumu.
✓
Lapas ātrums
0.95 ms
Lielisks iekraušanas ātrums.
SEO lapā
!
Nosaukums
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Virsraksts ir pārāk garš. Samaziniet līdz 30–60 rakstzīmēm, lai izvairītos no saīsināšanas.
✓
Meta apraksts
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software. Lenght:124
Labs metaapraksta garums (100-160 rakstzīmes).
✓
H1 Virsraksts
1 found - "Unique tools and servicesfor static analysis
and formal verificationof safety-critical software."
Labi — atrasts viens H1 virsraksts.
✓
Vārdu skaits
575
Labs satura garums (ieteicams 500–2000 vārdu).
!
Kanoniskā atzīme
Pievienojiet kanonisko tagu, lai novērstu satura dublēšanos.
✓
Meta dublikāts
[]
Nav atrasti metatagu dublikāti.
✓
Atslēgvārdi
Meta atslēgvārdi nav obligāti (lielākās meklētājprogrammas neizmanto).
Saturs un UX
✓
Valoda
en
Pareizi iestatīts valodas atribūts.
✓
Attēli
0 total, 0 missing ALT
Visiem attēliem ir atbilstošs ALT teksts.
✓
Skatu logs
width=device-width, initial-scale=1.0
Skatvietas metatags ir pareizi iestatīts mobilajām ierīcēm.
!
Atveriet grafiku
Missing: og:title, og:description, og:image, og:url
Pievienojiet trūkstošos OpenGraph tagus sociālo mediju kopīgošanai:og:title, og:description, og:image, og:url
!
Strukturētie dati
0 JSON-LD scripts
Pievienojiet strukturētus datus (JSON-LD), lai iegūtu bagātinātus fragmentus un uzlabotu SEO.
Pozīcijas iekšā Google
Meklēšanas frāzes - Google
| Pozīcija | Frāze | Lapa | Fragments |
|---|---|---|---|
| 7 | /rulechecker/complia... |