TAPAAL 3.4.3 Released

Published 2018-06-29 - (1 min reading time)

We are glad to announce another update of TAPAAL 3.4.3 that

fixes a bug in the untimed engine for partial order reduction with inhibitor arcs, and
fixes a bug in the unfolding of colored Petri nets in the untimed engine.

This is a recommend update for all TAPAAL users.

News

2023-05-10 - TAPAAL wins a gold medal at MCC'23

2023-02-24 - TAPAAL 3.9.5

2023-01-24 - TAPAAL 3.9.4

2022-10-24 - TAPAAL 3.9.3

More news

TAPAAL (Aalborg University)
(c) 2008-2022