ASM2Bogor: An approach for verification of models specified through Asmeta language-Reference-Cited by-同舟云学术

ASM2Bogor: An approach for verification of models specified through Asmeta language

Published:2012-10 Issue:5 Volume:23 Page:287-298
ISSN:1045-926X
Container-title:Journal of Visual Languages & Computing
language:en
Short-container-title:Journal of Visual Languages & Computing

Author:

Rafe Vahid,Doostali Saeed

Publisher

Elsevier BV

Subject

Computer Science Applications,Human-Computer Interaction,Language and Linguistics

Reference22 articles.

1. Abstract State Machine Language (AsmL), (2011), 〈http://research.microsoft.com/fse/asml/〉.

2. P. Arcaini, A. Gargantini, E. Riccobene, AsmetaSMV: a way to link high-level ASM models to low level NuSMV specifications, Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ, 61-74 (2010).

3. AsmetaL v.2.0.0, (2011), 〈http://fmlab.dti.unimi.it/Asmeta/download/AsmetaL_quickguide.html〉

4. ASMETA website (2011), 〈http://Asmeta.sourceforge.net/〉

5. J. Beckers, D. Klünder, S. Kowalewski, B. Schlich, Direct support for model checking abstract state machines by utilizing simulation, Proceedings of the First International Conference on Abstract State Machines, B and Z, ABZ 2008. LNCS, vol. 5238, pp. 112–124, (2008).

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using a process algebra interface for verification and validation of UML statecharts;Computer Standards & Interfaces;2023-08

2. An ASM-based characterisation of starvation-free systems;International Journal of Parallel, Emergent and Distributed Systems;2017-02-14

3. Towards an ASM-based Characterization of the Deadlock-freedom Property;Proceedings of the 11th International Joint Conference on Software Technologies;2016

4. VisualTPL: A visual dataflow language for report data transformation;Journal of Visual Languages & Computing;2014-06