UPPAAL
uppaal.orgUPPAAL is an integrated tool environment for the modeling, validation, and verification of real-time systems. It specializes in analyzing networks of timed automata extended with data types, such as bounded integers and arrays. Developed by Uppsala University and Aalborg University, it serves as a critical resource for academic research and commercial applications requiring formal verification of time-dependent software and hardware.
LLM mention score The LLM mention score is the total number of mentions of this brand in different LLM chatbots, normalized to the scale from 0 to 100. You can get actual, non-normalized numbers via the LLM Mention API from DataForSEO.
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.
How to get LLM mention data →// Fetch UPPAAL mentions POST v3/ai_optimization/llm_mentions/search_mentions/live [ { "target": [ { "domain": "uppaal.org", "search_filter": "include", "search_scope": ["sources"] } ], "order_by": ["ai_search_volume,desc"] } ]
