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.