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]

[more]

30.04.2013

TAPAAL 2.3.0

TAPAAL Team Announces the Release of TAPAAL 2.3.0[more]

[more]

05.12.2012

TAPAAL 2.2.1

TAPAAL Team Announces the Release of TAPAAL 2.2.1[more]

[more]

22.10.2012

TAPAAL 2.2.0

TAPAAL Team Announces the Release of TAPAAL 2.2.0[more]

[more]

16.10.2012

TAPAAL 2.1.3

TAPAAL Team Announces the Release of TAPAAL 2.1.3[more]

[more]

30.09.2012

TAPAAL 2.1.2

TAPAAL Team Announces the Release of TAPAAL 2.1.2[more]

[more]

22.07.2012

TAPAAL 2.1.1

TAPAAL Team Announces the Release of TAPAAL 2.1.1[more]

[more]

Displaying results 22 to 28 out of 39

<< First < Previous 1-7 8-14 15-21 22-28 29-35 36-39 Next > Last >>

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