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

• Windows (x86_64), version 5.0.0
• macOS X (x86_64), version 5.0.0
• Linux (x86_64), version 5.0.0

5.0.0 rc 6

• Windows version 5.0.0-rc6
• macOS X, version 5.0.0-rc6
• Linux, version 5.0.0-rc6

5.0.0 rc 5

• Windows version 5.0.0-rc5
• macOS X, version 5.0.0-rc5
• Linux, version 5.0.0-rc5

5.0.0 rc 4

• Windows version 5.0.0-rc4
• macOS X, version 5.0.0-rc4
• Linux, version 5.0.0-rc4

5.0.0 rc 3

• Windows version 5.0.0-rc3
• macOS X, version 5.0.0-rc3
• Linux, version 5.0.0-rc3

5.0.0 rc 2

• Windows version 5.0.0-rc2
• macOS X, version 5.0.0-rc2
• Linux, version 5.0.0-rc2

5.0.0 rc 1

• Windows version 5.0.0-rc1
• macOS X, version 5.0.0-rc1
• Linux, version 5.0.0-rc1

5.0.0 beta 5

• Windows version 5.0.0-beta5
• macOS X, version 5.0.0-beta5
• Linux, version 5.0.0-beta5

5.0.0 beta 4

• Windows version 5.0.0-beta4
• macOS X, version 5.0.0-beta4
• Linux, version 5.0.0-beta4

UPPAAL 4.1

4.1.26-2

• 64-bit Windows and Linux, version 4.1.26-2

4.1.26-1

• 64-bit Windows and Linux, version 4.1.26-1

4.1.25

• 64-bit Windows and Linux, version 4.1.25-5

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

• 32-bit Mac OS X, version 4.1.14

UPPAAL 4.0

4.0.15

• 32-bit Windows and Linux, version 4.0.15

4.0.13

• 32-bit Mac OS X, version 4.0.13

UPPAAL COSHY

Compact Shields for Hybrid Systems

UPPAAL COSHY-2 based on UPPAAL 5.1.0-beta5 (2026-05-05)

• UPPAAL COSHY ZIP for Linux
• UPPAAL COSHY Installer for Windows
• UPPAAL COSHY ZIP for Windows

UPPAAL COSHY based on UPPAAL 5.1.0-beta5 (2025-07-04)

• UPPAAL COSHY ZIP for Linux
• UPPAAL COSHY Installer for Windows
• UPPAAL COSHY ZIP for Windows

UPPAAL Stratego

Strategies for Controller Synthesis and Optimization

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

UPPAAL Stratego 4.1.20-stratego-7

• 64-bit Linux, version 4.1.20-stratego-7
• 32-bit Windows and Linux, version 4.1.20-stratego-7

UPPAAL Stratego 4.1.20-stratego-6

• 64-bit Linux, version 4.1.20-stratego-6
• 32-bit Windows and Linux, version 4.1.20-stratego-6

UPPAAL Stratego 4.1.20-stratego-5

• 64-bit Linux, version 4.1.20-stratego-5
• 32-bit Windows and Linux, version 4.1.20-stratego-5

UPPAAL Stratego 4.1.20-stratego-4

• 32-bit Windows and Linux, version 4.1.20-stratego-4

UPPAAL Stratego 4.1.20-stratego-3

• 32-bit Windows and Linux, version 4.1.20-stratego-3

UPPAAL Stratego 4.1.20-stratego-2

• 32-bit Windows and Linux, version 4.1.20-stratego-2

UPPAAL Stratego 4.1.20-stratego-1

• 32-bit Windows and Linux, version 4.1.20-stratego-1

UPPAAL Tiga

Timed Games for Controller Synthesis

UPPAAL Tiga 0.18

• Linux

UPPAAL Tiga 0.17

• Linux & Windows

UPPAAL Tiga 0.15

• MacOS X

UPPAAL Ecdar

Environment for Compositional Design, Abstraction and Refinement

UPPAAL Ecdar 0.10

• ECDAR 0.10, Linux & Windows
• ECDAR 0.10, MacOS X

UPPAAL CORA

Cost Optimal Reachability Analysis

UPPAAL CORA 20060910

• CORA 20060910, Linux, Solaris & Windows
• CORA 20060910, Mac OS X

UPPAAL TRON

Testing Realtime Systems Online

UPPAAL TRON 1.5

• TRON 1.5, Linux
• TRON 1.5, Windows

UPPAAL TRON 1.4 Beta 5

• TRON 1.4 Beta 5, Linux
• TRON 1.4 Beta 5, Windows

UPPAAL TRON 1.4 Beta 4

• TRON 1.4 Beta 4, Linux
• TRON 1.4 Beta 4, Windows

UPPAAL TRON 1.4 Beta 3

• TRON 1.4 Beta 3, Linux
• TRON 1.4 Beta 3, Windows

UPPAAL TRON 1.4 Beta 2

• TRON 1.4 Beta 2, Linux

UPPAAL TRON 1.4 Beta 1

• TRON 1.4 Beta 1, Windows

UPPAAL TRON 1.3.3

• TRON 1.3.3, Linux & Solaris

UPPAAL TRON 1.3.3

• TRON 1.3.3, Linux & Solaris

UPPAAL TRON 1.3.1

• TRON 1.3.1, Linux & Solaris