TAPAAL News
TAPAAL 3.1.2
TAPAAL Team Announce the Release of TAPAAL 3.1.2 that includes bug fixes in the untimed and discrete verification engines small GUI improvements in the simulator fixes a bug in the query dialog that allowed to use darts in cases...[more]
TAPAAL 3.1.1
TAPAAL team announces the release of 3.1.1 that inlcudes: bug fixes in the untimed and discrete verification enginessmall bug fixes in the GUIPNML loading for nets with fractional x/y-coordinatesoverrride of queries in...[more]
TAPAAL 3.1.0
TAPAAL team announces the release of a majour upgrade 3.1.0 that inlcudes: * PNML import/export is now available within TAPAAL GUI. * Over/under approximation of the intervals in the net. * Optimized workflow engine, in...[more]
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]
News
27.11.2018 - TAPAAL solved all CTL queries at RERS Competition
23.08.2018 - 10 Years Anniversary of TAPAAL
29.06.2018 - TAPAAL 3.4.3
27.06.2018 - Two Gold Medals and One Silver at MCC'18
More news
(c) 2008-2018