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

Installation

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

Use

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 doi