OpenJML

OpenJML is a program verification tool for Java that enables developers to check the correctness of programs annotated with the Java Modeling Language (JML). It provides both static deductive verification and runtime assertion checking to ensure that code implementations satisfy their formal specifications. The tool offers command-line capabilities as well as IDE integrations via Language Server Protocol, supporting both academic study and industrial software quality assurance.

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