Computing platforms
Cross-platform software
Model checkers
Java programming language
Uppaal Model Checker
Java
Windows
Installation
Computing
Software
Java platform