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.