TAPAAL Team Announces the Release of TAPAAL 2.2.1
TAPAAL 2.2.1 is fixing a few bugs in the discrete verification engine of TAPAAL (verifydtapn), namely:
- a memory leak,
- a problem with search termination for liveness properties, and
- a problem in computing successors for nets with weights
The GUI has not been modified since 2.2.0.