Abstract
In this paper, we present AsmetaA – 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.
Cite
CITATION STYLE
Bonfanti, S., Gargantini, A., & Mashkoor, A. (2018). AsmetaA: Animator for abstract state machines. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10817 LNCS, pp. 369–373). Springer Verlag. https://doi.org/10.1007/978-3-319-91271-4_25
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
