Java platform
Model checkers
Java programming language
Uppaal Model Checker
C shell
Windows
Java
Path
Environment variable
Computing
Software
Cross-platform software