We are happy to announce the release of TAPAAL 3.4.0 with improved engines for the discrete-time verification (verifydtapn) and the untimed engine (verifypn). It also includes a GUI support for using partial order reduction for the discrete-time engine. The summary of features are:
- Partial order reduction to the verifydtapn engine.
- Support for timed-safety-games to the engine (no GUI support yet).
- Refactoring of verifydtapn engine and all around for performance improvement
(including new successor generator).
- Numerous improvements for the untimed verifypn engine (including
structural reductions for CTL and advanced query simplification algorithms).