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.
WOS:000379124200014
2-s2.0-84978764739
2016
Inglese
Abstract State Machines, Alloy, B, TLA, VDM, and Z. 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
978-3-319-33599-5
LECTURE NOTES IN COMPUTER SCIENCE
9675
231
236
cartaceo
online
Springer
ABZ 2016: 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Linz, Austria, 23-27 May 2016
5th
Linz (Austria)
23-27 May 2016
internazionale
contributo
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
Computer Science (all); Theoretical Computer Science
info:eu-repo/semantics/conferenceObject
9
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo Michele; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patr...espandi
1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
reserved
Non definito
273
(2016). Unified syntax for abstract state machines [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/75666
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
  Visualizza/Apri
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??? 4
social impact