We are happy to announce the release of TAPAAL 3.9.5 that contains

• a bug fix for zooming when changing tabs
• fixes issues with boundeness check and with running some of the example nets, and
• distributed an updated verifytapn (continuous time) verification engine.