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.

(2018). AsmetaA: Animator for abstract state machines . Retrieved from http://hdl.handle.net/10446/124776

AsmetaA: Animator for abstract state machines

Bonfanti, Silvia;Gargantini, Angelo;
2018-01-01

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.
2018
Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
File allegato/i alla scheda:
File Dimensione del file Formato  
abz2018_Animator_CameraReady.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 531.93 kB
Formato Adobe PDF
531.93 kB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/124776
Citazioni
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact