Context free grammar and the infinite-state automaton

被引：0
|
作者：
Lu, Yingzhi [1 ]
机构：
[1] Tsinghua Univ, Beijing, China
来源：
Tien Tzu Hsueh Pao/Acta Electronica Sinica | 1996年 / 24卷 / 08期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：23 / 27
相关论文
共 50 条
  • [41] Global model-checking of infinite-state systems
    Piterman, N
    Vardi, MY
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 387 - 400
  • [42] Infinite-State Markov-Switching for Dynamic Volatility
    Dufays, Arnaud
    JOURNAL OF FINANCIAL ECONOMETRICS, 2016, 14 (02) : 418 - 460
  • [43] Proving the Existence of Fair Paths in Infinite-State Systems
    Cimatti, Alessandro
    Griggio, Alberto
    Magnago, Enrico
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 104 - 126
  • [44] Decidability of model checking for infinite-state concurrent systems
    Esparza, J
    ACTA INFORMATICA, 1997, 34 (02) : 85 - 107
  • [45] Abstraction and modular verification of infinite-state reactive systems
    Manna, Z
    REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING, 1998, 1526 : 273 - 292
  • [46] A framework for the verification of infinite-state graph transformation systems
    Baldan, Paolo
    Corradini, Andrea
    Koenig, Barbara
    INFORMATION AND COMPUTATION, 2008, 206 (07) : 869 - 907
  • [47] Analysis of self-stabilization for infinite-state systems
    Yen, HC
    SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 240 - 248
  • [48] Infinite-State Backward Exploration of Boolean Broadcast Programs
    Liu, Peizun
    Wahl, Thomas
    2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 155 - 162
  • [49] A Decidability Result for the Model Checking of Infinite-State Systems
    Zucchelli, Daniele
    Nicolini, Enrica
    JOURNAL OF AUTOMATED REASONING, 2012, 48 (01) : 1 - 42
  • [50] On non-ergodic infinite-state stochastic Petri nets
    Bause, F
    10TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, PROCEEDINGS, 2003, : 84 - 92
12345