AbsInt

AbsInt: Static Analysis and Formal Verification of Safety-Critical Software

Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.

Company details

Address: Saarbrücken, Germany
Website: absint.com

Reviews

No reviews yet.

All reviews of AbsInt · Write a review

Domain and WHOIS record

Domain: absint.com
Registrar: Ascio Technologies, Inc. Danmark - Filial af Ascio technologies, Inc. USA
Registered: 6 Aug 1999
Expires: 6 Aug 2027
Record updated: 22 Oct 2026
Name servers: root-dns.netcup.net, second-dns.netcup.net, third-dns.netcup.net
DNSSEC: Not signed

WHOIS record for absint.com

Sign up for Signalsant to see verified emails, phone numbers and the full company record.