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.
Unified syntax for abstract state machines / P. Arcaini, S. Bonfanti, M. Dausend, A. Gargantini, A. Mashkoor, A. Raschke, E. Riccobene, P. Scandurra, M. Stegmaier - In: Abstract State Machines, Alloy, B, TLA, VDM, and Z / [a cura di] M.J. Butler, K.-D. Schewe, A. Mashkoor, M. Biró. - [s.l] : Springer Verlag, 2016. - ISBN 9783319335995. - pp. 231-236 (( Intervento presentato al 5. convegno International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z tenutosi a Linz nel 2016.
Unified syntax for abstract state machines
E. Riccobene;
2016
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.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
