Symbolic model checking of extended finite state machines with linear constraints over integer variables

被引：2
|
作者：
Takenaka, Takashi [1 ,3 ]
Okano, Kozo [2 ,4 ]
Higashino, Teruo [2 ,4 ]
Taniguchi, Kenichi [2 ,4 ]
机构：
[1] NEC Corporation, Japan
[2] Graduate School of Information Science and Technology, Osaka University, Toyonaka, 560-8531, Japan
[3] NEC Corporation
[4] Graduate School of Information Science and Technology
来源：
Systems and Computers in Japan | 2006年 / 37卷 / 06期
关键词：
10;
D O I：
10.1002/scj.20264
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：64 / 72
相关论文
共 50 条
  • [1] Checking Experiments for Finite State Machines with Symbolic Inputs
    Petrenko, Alexandre
    Simao, Adenilso
    TESTING SOFTWARE AND SYSTEMS, ICTSS 2015, 2015, 9447 : 3 - 18
  • [2] Checking Experiments for Symbolic Input/Output Finite State Machines
    Petrenko, Alexandre
    2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2016, : 229 - 237
  • [3] Symbolic Model Checking of Hierarchical UML State Machines
    Dubrovin, Jori
    Junttila, Tommi
    2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 108 - 117
  • [4] Validity checking for finite automata over linear arithmetic constraints
    Wassermann, Gary
    Su, Zhendong
    FSTTCS 2006: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2006, 4337 : 405 - +
  • [5] SCIL -: Symbolic constraints in integer linear programming
    Althaus, E
    Bockmayr, A
    Elf, M
    Jünger, M
    Kasper, T
    Mehlhorn, K
    ALGORITHMS-ESA 2002, PROCEEDINGS, 2002, 2461 : 75 - 87
  • [6] Design constraints in symbolic model checking
    Kaufmann, M
    Martin, A
    Pixley, C
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 477 - 487
  • [7] Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results
    Bultan, T
    Gerber, R
    Pugh, W
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (04): : 747 - 789
  • [8] Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results
    University of Maryland, College Park, MD, United States
    不详
    不详
    ACM Trans Program Lang Syst, 4 (747-789):
  • [9] Model Checking of Transition-Labeled Finite-State Machines
    Estivill-Castro, Vladimir
    Rosenblueth, David A.
    SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 61 - +
  • [10] Checking Completeness of Tests for Finite State Machines
    Simao, Adenilso
    Petrenko, Alexandre
    IEEE TRANSACTIONS ON COMPUTERS, 2010, 59 (08) : 1023 - 1032
12345