TAPAAL News
TAPAAL 2.4.3
We are happy to announce an update to our tool that fixes an issue for trace generation in the discrete TAPAAL engine for EG/AF queries and the Time Dart option.[more]
TAPAAL 2.4.2
We are very happy to introduce a new release of TAPAAL 2.4.2 that contains some bug fixes, namely: explanation for verification results in batch processing and correction of PTrie and Dart options for the verifydtapn...[more]
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]
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
14.05.2018 - TAPAAL 3.4.2
03.05.2018 - TAPAAL 3.4.1
24.01.2018 - TAPAAL 3.4.0
05.10.2017 - TAPAAL 3.3.0 and Two Silver Medals at MCC'17
More news
(c) 2008-2018