mCRL2

mCRL2 is an open-source formal methods toolset designed for the specification, analysis, and verification of complex distributed systems. It provides a comprehensive environment for modeling system behavior using process algebra, supporting tasks such as linearization, model checking via parameterized Boolean equation systems (PBES), and simulation. Widely used in academic research and industrial applications, mCRL2 enables rigorous validation of system architectures and protocols.

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