TAPAAL 3.9.4

Published 2023-01-24 - (1 min reading time)

We are happy to announce the release of TAPAAL 3.9.4 that contains

a bug fix for conclusive/inconclusive reporting verification answers for CTL and LTL model checking, and
an updated untimed engine verifypn which fixes the reporting of verification statistics.

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