AsmetaA18 Bonfanti, Silvia Gargantini, Angelo Mashkoor, Atif

AsmetaA: Animator for Abstract State Machines

in Abstract State Machines, Alloy, B, TLA, VDM, and Z, 6th International Conference, ABZ 2018, Southampton, UK, June 5--8, 2018, Proceedings (Eds. Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl) Springer, Lecture Notes in Computer Science, vol. 10817 (2018)

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]

My sw links