Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Uppaal Model Checker · Vinony

🌐English

English Deutsch Français Italiano 中文日本語

EntityQ7898420· pop 5· linked from 12 articles

Uppaal Model Checker

integrated tool environment

Connections

English language

Categories

Sources

wikipedia.externallinksexternallink

Japanese

Entity

operating system

Microsoft Windows

Wayback Machine

graphical user interface

Koninklijke Philips NV

Uppsala University

software license

Sign in to save

What links here12 pages

SPIN model checker

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

SPIN model checker

Entitydist 0.34

Entitydist 0.55

Entitydist 0.58

DMG Mori (Germany)

Companydist 0.60

Tick–tock model

Entitydist 0.61

Component Object Model

Entitydist 0.62

Virtual Instrument Software Architecture

Entitydist 0.62

machine code monitor

Entitydist 0.63

Scanner Access Now Easy

Entitydist 0.65

Entitydist 0.65

Entitydist 0.65

Entitydist 0.66