TAPAALWe are glad to announce the release of TAPAAL 3.5.1.
TAPAAL 3.5.1 is a release that fixes numerous bugs in the GUI introduced in the 3.5.0 release and it also fixes trace generation issue in the untimed verifypn engine.
TAPAAL 3.5.1
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
(c) 2008-2022