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 条
  • [1] Integration of Symbolic Execution into a Formal Abstract State Machines based Language
    Paun, Vladimir-Alexandru
    Monsuez, Bruno
    Baufreton, Philippe
    IFAC PAPERSONLINE, 2017, 50 (01): : 11251 - 11256
  • [2] The hidden computation steps of turbo abstract state machines
    Fruja, NG
    Stärk, RF
    ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS, 2003, 2589 : 244 - 262
  • [3] Definition of a parallel execution model with abstract state machines
    Németh, Zsolt
    2002, University of Szeged (15):
  • [4] Definition of a parallel execution model with abstract state machines
    Németh, Zsolt
    Acta Cybernetica, 2002, 15 (03): : 417 - 455
  • [5] Communication in Abstract State Machines
    Boerger, Egon
    Schewe, Klaus-Dieter
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2017, 23 (02) : 129 - 145
  • [6] A logic for Abstract State Machines
    Stärk, RF
    Nanchen, S
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (11): : 980 - 1005
  • [7] Slicing abstract state machines
    Nowack, A
    ABSTRACT STATE MACHINES 2004: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS, 2004, 3052 : 186 - 201
  • [8] ABSTRACT STATE MACHINES AND THEIR APPLICATIONS
    Reyes Vera, Javier Mauricio
    REVISTA EDUCACION EN INGENIERIA, 2012, 7 (13): : 55 - 62
  • [9] Concurrent abstract state machines
    Egon Börger
    Klaus-Dieter Schewe
    Acta Informatica, 2016, 53 : 469 - 492
  • [10] Concurrent abstract state machines
    Borger, Egon
    Schewe, Klaus-Dieter
    ACTA INFORMATICA, 2016, 53 (05) : 469 - 492
12345