News

25.09.2013

TAPAAL 2.4.1

We are very happy to introduce a new release of TAPAAL 2.4.1 that contains some bug fixes, namely: a problem with loading verifyta.exe file (UPPAAL engine) on some windows installations running Java 6,a bug in simulator when...[more]

10.09.2013

TAPAAL 2.4.0

We are very happy to introduce a new release of TAPAAL 2.4.0 that adds the possibility to model urgent transitions (enabled urgent transition disables time passing),adds deadlock as one of a possible propositions in the query...[more]

30.04.2013

TAPAAL 2.3.0

TAPAAL Team Announces the Release of TAPAAL 2.3.0[more]

05.12.2012

TAPAAL 2.2.1

TAPAAL Team Announces the Release of TAPAAL 2.2.1[more]

22.10.2012

TAPAAL 2.2.0

TAPAAL Team Announces the Release of TAPAAL 2.2.0[more]

16.10.2012

TAPAAL 2.1.3

TAPAAL Team Announces the Release of TAPAAL 2.1.3[more]

30.09.2012

TAPAAL 2.1.2

TAPAAL Team Announces the Release of TAPAAL 2.1.2[more]

Displaying results 15 to 21 out of 33

<< First < Previous 1-7 8-14 15-21 22-28 29-33 Next > Last >>

News

24.01.2018 - TAPAAL 3.4.0

05.10.2017 - TAPAAL 3.3.0 and Two Silver Medals at MCC'17

19.09.2016 - TAPAAL 3.2.1

09.08.2016 - Two Silver Medals for TAPAAL

More news

TAPAAL (Aalborg University)
(c) 2008-2017