Unified Syntax for Abstract State Machines
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10331926" target="_blank" >RIV/00216208:11320/16:10331926 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-33600-8_14" target="_blank" >http://dx.doi.org/10.1007/978-3-319-33600-8_14</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-33600-8_14" target="_blank" >10.1007/978-3-319-33600-8_14</a>
Alternative languages
Result language
angličtina
Original language name
Unified Syntax for Abstract State Machines
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
ISBN
978-3-319-33600-8
ISSN
0302-9743
e-ISSN
—
Number of pages
6
Pages from-to
231-236
Publisher name
Springer International Publishing
Place of publication
Cham
Event location
Linz, Austria
Event date
May 23, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000379124200014