AbsInt

AbsInt provides static analysis and formal verification tools for safety-critical software in industries such as aviation, automotive, and energy. Their suite includes aiT for worst-case execution time analysis, Astrée for proving the absence of runtime errors in C and C++ applications, and RuleChecker for compliance with coding standards like MISRA and AUTOSAR. The company supports rigorous certification requirements including ISO 26262, DO-178C, and IEC 61508.

LLM mention score

Normalized 0–100 · last 8 weeks

DataForSEO API

Get LLM mention data of any company via DataForSEO API

Get access to the structured data on keyword, brand, and website mentions in LLMs, including metrics like AI search volume, impressions, and mentions count.

Get Free API Credits API Documentation

How to get LLM mention data →

// Fetch AbsInt mentions
POST v3/ai_optimization/llm_mentions/search/live
[
    {
        "target": [
            {
                "keyword": "AbsInt",
                "search_scope": ["any"]
            }
        ],
        "platform": "chat_gpt",
        "order_by" : ["ai_search_volume,desc"]
    }
]