Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs

被引：0
|
作者：
Zakharov, VA [1 ]
Tsarkov, DV [1 ]
机构：
[1] Moscow State Univ, Dept Computat Math & Cybernet, Moscow, ID USA
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 1998年 / 24卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：151 / 161
页数：11
相关论文
共 50 条
  • [1] VECTORIZED SYMBOLIC MODEL CHECKING OF COMPUTATION TREE LOGIC FOR SEQUENTIAL MACHINE VERIFICATION
    HIRAISHI, H
    HAMAGUCHI, K
    OCHI, H
    YAJIMA, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 214 - 224
  • [2] Model checking quantified computation tree logic
    Rensink, Arend
    CONCUR 2006 - CONCURRENCY THEORY, PROCEEDINGS, 2006, 4137 : 110 - 125
  • [3] Model checking fuzzy computation tree logic
    Pan, Haiyu
    Li, Yongming
    Cao, Yongzhi
    Ma, Zhanyou
    FUZZY SETS AND SYSTEMS, 2015, 262 : 60 - 77
  • [4] VECTORIZED MODEL CHECKING FOR COMPUTATION TREE LOGIC
    HIRAISHI, H
    MEKI, S
    HAMAGUCHI, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 44 - 53
  • [5] Incremental model checking for fuzzy computation tree logic
    Pan, Haiyu
    Zhou, Jie
    Lin, Yuming
    Cao, Yongzhi
    FUZZY SETS AND SYSTEMS, 2025, 500
  • [6] Model Checking for the Full Hybrid Computation Tree Logic
    Kernberger, Daniel
    Lange, Martin
    PROCEEDINGS 23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING - TIME 2016, 2016, : 31 - 40
  • [7] Bounded model checking for probabilistic computation tree logic
    Zhou, Cong-Hua
    Liu, Zhi-Feng
    Wang, Chang-Da
    Ruan Jian Xue Bao/Journal of Software, 2012, 23 (07): : 1656 - 1668
  • [8] Model Checking in Parallel Logic Controllers Design and Verification
    Doligalski, Michal
    Tkacz, Jacek
    Gratkowski, Tomasz
    PROCEEDINGS OF THE 2015 FEDERATED CONFERENCE ON SOFTWARE DEVELOPMENT AND OBJECT TECHNOLOGIES, 2017, 511 : 35 - 53
  • [9] Quantum computation tree logic - Model checking and complete calculus
    Baltazar, P.
    Chadha, R.
    Mateus, P.
    INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2008, 6 (02) : 219 - 236
  • [10] Model checking computation tree logic over finite lattices
    Pan, Haiyu
    Li, Yongming
    Cao, Yongzhi
    Ma, Zhanyou
    THEORETICAL COMPUTER SCIENCE, 2016, 612 : 45 - 62
12345