News
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
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
TAPAAL (Aalborg University)
(c) 2008-2018
(c) 2008-2018