TAPAALWe are happy to announce the release of TAPAAL 3.9.0 that contains
- an updated GUI that now allows to ask LTL queries
- untimed verifypn engine supporting partial order reduction for LTL and heuristic search.
TAPAAL 3.9.0
News
2025-09-11 - TAPAAL 4.0.2
2025-08-07 - TAPAAL 4.0.1
2025-06-27 - Best paper award at PN'25
2025-06-26 - TAPAAL Defends Three Gold Medals at MCC'25
More news
TAPAAL (Aalborg University)
(c) 2008-2025
(c) 2008-2025