Abstract
In this paper, we present AsmetA -- a graphical animator for Abstract State Machines integrated within the \asmeta framework.
The execution of formal specifications through animation provides several advantages, e.g., it provides an immediate feedback
about system behavior, it helps understand system evolution, and it increases the overall acceptability of formal methods.
[download the pdf file] [DOI]