Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines

被引：0
|
作者：
Del Castillo, Giuseppe
机构：
来源：
RIGOROUS STATE-BASED METHODS, ABZ 2024 | 2024年 / 14759卷
关键词：
D O I：
10.1007/978-3-031-63790-2_15
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper introduces a transformation method that uses symbolic execution to eliminate sequential composition (seq) rules from turbo ASM rules by translating them into equivalent rules without seq. Under some circumstances iterate rules can also be eliminated. The material presented here is work in progress. A prototype implementation of the transformation is publicly available.
引用
收藏
页码：215 / 222
页数：8
相关论文
共 50 条
  • [21] The computable kernel of Abstract State Machines
    Reisig, W.
    THEORETICAL COMPUTER SCIENCE, 2008, 409 (01) : 126 - 136
  • [22] Abstract state machines: An overview of the project
    Gurevich, Y
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2004, 2942 : 6 - 13
  • [23] A Guarded Fragment for Abstract State Machines
    Antje Nowack
    Journal of Logic, Language and Information, 2005, 14 (3) : 345 - 368
  • [24] Abstract State Machines and the Inquiry Process
    Huggins, James K.
    Wallace, Charles
    FIELDS OF LOGIC AND COMPUTATION: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 70TH BIRTHDAY, 2010, 6300 : 405 - +
  • [25] A description of the tableau method using abstract state machines
    Borger, E
    Schmitt, PH
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (05) : 659 - 681
  • [26] Incremental Symbolic Execution of Evolving State Machines
    Khalil, Amal
    Dingel, Juergen
    2015 ACM/IEEE 18TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS), 2015, : 14 - 23
  • [27] Abstract Interpretation of Symbolic Execution with Explicit State Updates
    Bubel, Richard
    Hahnle, Reiner
    Weiss, Benjamin
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2009, 5751 : 247 - +
  • [28] Deciding the verification problem for abstract state machines
    Nowack, A
    ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTIC, PROCEEDINGS, 2003, 2589 : 341 - 355
  • [29] CASM - Optimized Compilation of Abstract State Machines
    Lezuo, Roland
    Paulweber, Philipp
    Krall, Andreas
    ACM SIGPLAN NOTICES, 2014, 49 (05) : 13 - 22
  • [30] Modal Extensions of the Logic of Abstract State Machines
    Ferrarotti, Flavio
    Schewe, Klaus-Dieter
    RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 123 - 140
12345