The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and verification tools.

(2016). Unified syntax for abstract state machines [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/75666

Unified syntax for abstract state machines

Arcaini, Paolo;Bonfanti, Silvia;Gargantini, Angelo Michele;Scandurra, Patrizia;
2016-01-01

Abstract

The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and verification tools.
2016
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo Michele; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patr...espandi
File allegato/i alla scheda:
File Dimensione del file Formato  
chp%3A10.1007%2F978-3-319-33600-8_14.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 348.67 kB
Formato Adobe PDF
348.67 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/75666
Citazioni
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 2
social impact