TAPAAL 3.9.4

Written for TAPAAL by Jiri Srba on 2023-01-24

We are happy to announce a maintainance release of TAPAAL 3.9.4 which fixes the reporting of conclusive/inconclusive answers for CTL/LTL model checking.