AsmetaA: Animator for abstract state machines

Authors Silvia Bonfanti
Angelo Gargantini
Atif Mashkoor
Editors M. Butler
A. Raschke
T. Son Hoang
K. Reichl
Title AsmetaA: Animator for abstract state machines
Booktitle Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2018
Type in proceedings
Publisher Springer
Series Lecture Notes of Computer Science
Volume 10817
ISBN 978-3-319-91270-7
DOI 10.1007/978-3-319-91271-4_25
Month June
Year 2018
Pages 369-373
SCCH ID# 18036

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.