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.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
