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: