AsmetaA (Asmeta Animator) can be used to simulate in graphical way AsmetaL models.

Installation

The animator works in eclipse, to install it, follow the instructions here

Use in eclipse

In order to animate the models you have:

• TODO
• Run the tool from the toolbar

Paper

Bonfanti, Silvia, Gargantini, Angelo, and Mashkoor, Atif AsmetaA: Animator for Abstract State Machines in Abstract State Machines, Alloy, B, TLA, VDM, and Z, 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings (2018)link