IMITATOR

IMITATOR is a free software tool designed for the parametric verification and synthesis of real-time systems. It enables users to analyze models based on networks of parametric timed automata, supporting advanced features such as parameter synthesis, schedulability analysis, and formal verification under uncertainty.

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 IMITATOR mentions
POST v3/ai_optimization/llm_mentions/search/live
[
    {
        "target": [
            {
                "keyword": "IMITATOR",
                "search_scope": ["any"]
            }
        ],
        "platform": "chat_gpt",
        "order_by" : ["ai_search_volume,desc"]
    }
]