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]
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
(c) 2008-2017