We are happy to announce the release of TAPAAL 3.9.3 that contains

  • numerous bug fixes including passing of inclusion places to the continuous engine, fixes to the query dialog, copying of elements with environmental transitions, remebering of the last open file location, trace generation for LTL queries.
  • an updated untimed engine verifypn which fixes trace generation issues when structural reduction rules are applied.