The TAPAAL Core Team announces versions 1.4.2 of TAPAAL. We are announcing the release of the following TAPAAL updates:

  • TAPAAL 1.4.2

This is a maintenance release and contain only bugfixes. It fixes an important bug concerning boundness checking.

For details about the release, look on detailed changelog on launchpad.

https://launchpad.net/tapaal/1.4/1.4.2

Download:

http://www.tapaal.net/download