TAPAAL News
TAPAAL 3.0.0
The TAPAAL team is very happy to announce a major upgrade of TAPAAL. The new release of 3.0.0 includes numerous GUI improvements and bug fixes, together with the following selected new features. GUI and verification support for...[more]
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
21.10.2019 - TAPAAL 3.6.0
23.04.2019 - TAPAAL 3.5.1
08.04.2019 - TAPAAL won 4 gold medals at MCC'19
18.03.2019 - TAPAAL 3.5.0
More news
(c) 2008-2019