Asmeta Visualizer

AsmetaVis (Asmeta Visualizer) can be used to visualize AsmetaL specifications.


The visualizer is integrated in eclipse. For installation, follow the instructions here


You can execute two kinds of visualizations:

  • basic
  • semantic


P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene. Visual notation and patterns for Abstract State Machines, in 3rd workshop on Human-Oriented Formal Methods (HOFM 2016), Vienna, Austria, July 4, 2016 doi