Asmeta Animator

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


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


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