A new release of TAPAAL 1.1 is now available at the download page.

This release fixes a number of bugs and introduces two new features:

boundedness checking and visualization of untimed traces for the verification of liveness properties. Finally, a few demo examples are now included in the distribution. In particular, new users might want to open and experiment with the self-explanatory example intro-example.xml.