TAPAAL Team Announce the Release of TAPAAL 3.1.2 that includes

• bug fixes in the untimed and discrete verification engines
• small GUI improvements in the simulator
• fixes a bug in the query dialog that allowed to use darts in cases where it should be disabled
• improved export/import of traces in a new XML format.