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 http://svn.code.sf.net/p/asmeta/code/code/stable/asmeta_update/

You can execute two kinds of visualizations:

  • basic
  • semantic

Paper

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