Asmeta Visualizer

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

Eclipse plugin

The tool is available as eclipse plugin at this update site

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