UPPAAL Versions
For normal use we always recommend download and using the newest version available at the download page. The older version are provided provide the ability to replication published results and are not supported in any way.
- UPPAAL 5.1
- UPPAAL 5.0
- UPPAAL 4.1
- UPPAAL 4.0
- UPPAAL Stratego
- UPPAAL Tiga
- UPPAAL Ecdar
- UPPAAL CORA
- UPPAAL TRON
UPPAAL 5.1
5.1.0 beta5
- Windows (x86_64), version 5.1.0 beta5
- macOS X (x86_64), version 5.1.0 beta5
- Linux (x86_64), version 5.1.0 beta5
5.1.0 beta4
- Windows (x86_64), version 5.1.0 beta4
- macOS X (x86_64), version 5.1.0 beta4
- Linux (x86_64), version 5.1.0 beta4
5.1.0 beta3
- Windows (x86_64), version 5.1.0 beta3
- macOS X (x86_64), version 5.1.0 beta3
- Linux (x86_64), version 5.1.0 beta3
5.1.0 beta2
- Windows (x86_64), version 5.1.0 beta2
- macOS X (x86_64), version 5.1.0 beta2
- Linux (x86_64), version 5.1.0 beta2
5.1.0 beta1
- Windows (x86_64), version 5.1.0 beta1
- macOS X (x86_64), version 5.1.0 beta1
- Linux (x86_64), version 5.1.0 beta1
UPPAAL 5.0
5.0.0
5.0.0 rc 6
5.0.0 rc 5
5.0.0 rc 4
5.0.0 rc 3
5.0.0 rc 2
5.0.0 rc 1
5.0.0 beta 5
5.0.0 beta 4
UPPAAL 4.1
4.1.26-2
4.1.26-1
4.1.25
4.1.24
- 64-bit Linux, version 4.1.24
- 32-bit Windows and Linux, version 4.1.24
- 64-bit Mac OS X, version 4.1.24
4.1.19
- 32-bit Windows and Linux, version 4.1.19
- 64-bit Linux, version 4.1.19
- 64-bit Mac OS X, version 4.1.19
4.1.14
UPPAAL 4.0
4.0.15
4.0.13
UPPAAL Stratego
UPPAAL Stratego 4.1.20-stratego-11
- 64-bit Windows, version 4.1.20-stratego-11
- 64-bit Linux, version 4.1.20-stratego-11
- 64-bit MacOS APP, version 4.1.20-stratego-11
UPPAAL Stratego 4.1.20-stratego-10
- 64-bit Windows, version 4.1.20-stratego-10
- 64-bit Linux, version 4.1.20-stratego-10
- 64-bit MacOS APP, version 4.1.20-stratego-10
UPPAAL Stratego 4.1.20-stratego-9
- 64-bit Windows, version 4.1.20-stratego-9
- 64-bit Linux, version 4.1.20-stratego-9
- 64-bit MacOS APP, version 4.1.20-stratego-9
- 64-bit MacOS, version 4.1.20-stratego-9
UPPAAL Stratego 4.1.20-stratego-8
- 64-bit Windows, version 4.1.20-stratego-8
- 64-bit Linux, version 4.1.20-stratego-8
- 64-bit MacOS APP, version 4.1.20-stratego-8
- 64-bit MacOS, version 4.1.20-stratego-8