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 条
  • [41] Towards a logic for abstract metafinite state machines
    Wang, Qing
    Schewe, Klaus-Dieter
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2008, 4932 : 365 - 380
  • [42] Compiling Abstract State Machines to C++
    Schmid, J
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (11): : 1068 - 1087
  • [43] Normalization of Some Extended Abstract State Machines
    Cegielski, Patrick
    Guessarian, Irene
    FIELDS OF LOGIC AND COMPUTATION: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 70TH BIRTHDAY, 2010, 6300 : 165 - +
  • [44] A complete logic for Database Abstract State Machines
    Ferrarotti, Flavio
    Schewe, Klaus-Dieter
    Tec, Loredana
    Wang, Qing
    LOGIC JOURNAL OF THE IGPL, 2017, 25 (05) : 700 - 740
  • [45] Using Satisfiability Modulo Theories to Analyze Abstract State Machines
    Veanes, Margus
    Saabas, Ando
    ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 355 - 355
  • [46] Deriving state machines from TinyOS programs using symbolic execution
    Kothari, Nupur
    Millstein, Todd
    Govindan, Ramesh
    2008 INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS, PROCEEDINGS, 2008, : 271 - +
  • [47] A UML validation toolset based on Abstract State Machines
    Shen, WW
    Compton, K
    Huggins, J
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 315 - 318
  • [48] A logic for secure memory access of abstract state machines
    Nanchen, S
    Stärk, RF
    THEORETICAL COMPUTER SCIENCE, 2005, 336 (2-3) : 343 - 365
  • [49] Data Flow Analysis and Testing of Abstract State Machines
    Cavarra, Alessandra
    ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 85 - 97
  • [50] Abstract state machines and computationally complete query languages
    Blass, A
    Gurevich, Y
    Van den Bussche, J
    INFORMATION AND COMPUTATION, 2002, 174 (01) : 20 - 36
12345