indexo.dev

absint.com

.com crawl

First seen 2026-04-12 · Last seen 2026-05-19 · ok HTTP/1.1 200 4440 ms crawled 2026-05-02

DE · 212.132.76.42 · AS8560 IONOS SE

Reputation 100/100

Classifying

HTML metadata

Title
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Description
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
Language
en

Technology

Server
Apache

Registration

Registrar
Ascio Technologies, Inc. Danmark - Filial af Ascio technologies, Inc. USA
Created
1999-08-06
Expires
2026-08-06 78 days left
Updated
2025-07-10
Name servers
  • root-dns.netcup.net
  • second-dns.netcup.net
  • third-dns.netcup.net

DNS records live

NS
  • root-dns.netcup.net
  • second-dns.netcup.net
  • third-dns.netcup.net
MX
  • 10 mail.absint.com
TXT
  • v=spf1 a a:mail.absint.com mx:mail.absint.com ip4:212.88.138.67 -all
  • cisco-ci-domain-verification=2f95981dfa215ec29ca08c0f8a47db6e355fb41775863a833148d1e244486ee6
  • MS=FB21B2250B49145F9605D12B67F54A105096C677

Certificates

Loading certificate

Links to (1)

Linked from (4)