We are announcing the release of the following TAPAAL updates:
- TAPAAL 2.0.0
TAPAAL 2.0 is a major release with many completely new features and in particular TAPAAL’s own verification engine that is now distributed together with TAPAAL.
The main new features are:
- TAPAAL engine (both 32 and 64 bit version) with symmetry reduction, concrete trace generation, discrete inclusion, heuristic search
- Component-based design editor with shared places and transitions
- Flexible batch processing dialog
- Numerous GUI improvements (view/hide of panels, updated query editor, improved verification statistics, …)
For details about the release, look on detailed changelog on launchpad.