Data di Pubblicazione:
2016
Citazione:
(2016). Unified syntax for abstract state machines [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/75666
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.
Tipologia CRIS:
1.4.01 Contributi in atti di convegno - Conference presentations
Elenco autori:
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo Michele; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael
Link alla scheda completa:
Titolo del libro:
Abstract State Machines, Alloy, B, TLA, VDM, and Z. 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Pubblicato in: