We are happy to announce a new release of TAPAAL 4.0.4 that contains

• bug fixes in the SMC engine verifydtapn and added seeding and custom distributions,
• numerous GUI fixes, visualization of density functions for custom distributions, improved tikz export, and
• addition of constant ranges for parametric verification.

All users are highly encouradged to update to this version.