AsmetaA: Animator for Abstract State Machines-Reference-Cited by-同舟云学术

AsmetaA: Animator for Abstract State Machines

Published:2018 Issue: Volume: Page:369-373
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bonfanti Silvia,Gargantini Angelo,Mashkoor Atif

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-91271-4_25

Reference8 articles.

1. Arcaini, P., Gargantini, A., Riccobene, E.: NuSeen: a tool framework for the NuSMV model checker. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 476–483 (2017)

2. Lecture Notes in Computer Science;P Arcaini,2016

3. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-642-18216-7

4. Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for abstract state machines. J. UCS 14(12), 1949–1983 (2008)

5. Haneberg, D., Junker, M., Schellhorn, G., Reif, W., Ernst, G.: Simulating a flash file system with CoreASM and eclipse. In: Informatik 2011: Informatik schafft Communities, Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI). LNI, vol. 192, p. 355. GI (2011)

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

1. ASMETA Tool Set for Rigorous System Design;Lecture Notes in Computer Science;2024-09-13

2. A journey with ASMETA from requirements to code: application to an automotive system with adaptive features;International Journal on Software Tools for Technology Transfer;2024-05-17

3. From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code;Lecture Notes in Computer Science;2024

4. Validation-Driven Development;Formal Methods and Software Engineering;2023

5. Validation of Formal Models by Interactive Simulation;Rigorous State-Based Methods;2023