AsmetaVis - Asmeta Visualizer

Abstract

The tool provides a visual notation for Abstract State Machines (ASMs). The basic visualization visualizes the structure of ASM transition rules is shown.

The semantic visualization allows to visualize part of the behavior of the machine.

Keywords

• Abstract State Machines
• structure visualizer
• semantic visualizer