Contact
Email
role · B2B
w•••@a•••.com🔒 Contacts are masked. Get full emails & phones. Unlock via export ↗
Category & trade
Primary
software-and-applications · embed-ft 0.41
Tree path
Technology & Computing › Computing › Software and Applications
Group (tier-1)
Also (top-3)
AI readiness
AI-Readiness score
18 / 100 · not-ready · see similar
AI training policy
allowed
Terms of Service
found · https://www.absint.com/legal.htm
AI-bot protection
AI files
llms.txt ai.txt humans.txt robots.txt
Compliance (GEO / GDPR)
TLD
Overview
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.
Final URL
Language
en (html)
Scanned at
2026-07-08 12:04:20