We are very happy to introduce a new release of TAPAAL 2.4.1 that contains some bug fixes, namely:

• a problem with loading verifyta.exe file (UPPAAL engine) on some windows installations running Java 6,
• a bug in simulator when used with urgent transitions,
• corrects the interpretation of verification results as some are actually valid also for the continuous semantics, and
• propertly terminates processes run via the batch processing dialog.