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 条
  • [21] On Automation of CTL* Verification for Infinite-State Systems
    Cook, Byron
    Khlaaf, Heidy
    Piterman, Nir
    COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 13 - 29
  • [22] Synthesis of Infinite-State Systems with Random Behavior
    Katis, Andreas
    Fedyukovich, Grigory
    Chen, Jeffrey
    Greve, David
    Rayadurgam, Sanjai
    Whalen, Michael W.
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 250 - 261
  • [23] A Framework for the Verification of Parameterized Infinite-state Systems
    Alberti, Francesco
    Ghilardi, Silvio
    Sharygina, Natasha
    FUNDAMENTA INFORMATICAE, 2017, 150 (01) : 1 - 24
  • [24] Model checking infinite-state Markov chains
    Remke, A
    Haverkort, BR
    Cloth, L
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 237 - 252
  • [25] Selfless Interpolation for Infinite-State Model Checking
    Schindler, Tanja
    Jovanovic, Dejan
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 495 - 515
  • [26] FINITE STATE PROBABILISTIC AUTOMATON THAT ACCEPTS A CONTEXT SENSITIVE LANGUAGE THAT IS NOT CONTEXT FREE
    CHEN, KA
    HU, MK
    INFORMATION AND CONTROL, 1977, 35 (03): : 196 - 208
  • [27] Automated Analysis of Probabilistic Infinite-state Systems
    Wojtczak, Dominik
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (140): : 85 - +
  • [28] A verification methodology for infinite-state message passing systems
    Sprenger, C
    Worytkiewicz, K
    FIRST ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2003, : 255 - 264
  • [29] Optimal Strategies in Infinite-state Stochastic Reachability Games
    Brozek, Vaclav
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (54): : 60 - 73
  • [30] A simple numerical approach for infinite-state markov chains
    Tijms, Henk C.
    Van De Coevering, Michel C. T.
    Probability in the Engineering and Informational Sciences, 1991, 5 (03) : 285 - 295
12345