KeY Project

The KeY Project is an academic and industrial initiative focused on the formal verification of Java programs. It provides a comprehensive tool for deductive verification, enabling developers to prove program correctness using the Java Modeling Language (JML). The system supports functional verification, symbolic debugging, and teaching materials for formal methods.

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