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 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

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

UPPAAL Tiga 0.18

• Linux

UPPAAL Tiga 0.17

• Linux & Windows

UPPAAL Tiga 0.15

• MacOS X

UPPAAL Ecdar

UPPAAL Ecdar 0.10

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

UPPAAL CORA

UPPAAL CORA 20060910

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

UPPAAL TRON

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