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 条
  • [21] Parallel computational tree logic model-checking on pushdown systems
    Ye, Xin
    Shi, Jianqi
    Huang, Yanhong
    Li, Qin
    Wei, Hansheng
    Chen, Xinyu
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2022, 34 (23):
  • [22] LOGIC VERIFICATION ALGORITHMS AND THEIR PARALLEL IMPLEMENTATION
    TONY, HK
    DEVADAS, S
    WEI, RS
    VINCENTELLI, AS
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1989, 8 (02) : 181 - 189
  • [23] Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures
    Li, Yongming
    Ma, Zhanyou
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2015, 23 (06) : 2034 - 2047
  • [24] MODEL CHECKING IS REFINEMENT From Computation Tree Logic to Failure Trace Testing
    Bruda, Stefan D.
    Zhang, Zhiyu
    ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 173 - 178
  • [25] Application of symbolic and bounded model checking to the verification of logic control systems
    Loeis, Kingliana
    Younis, Mohammed Bani
    Frey, Georg
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 247 - 250
  • [26] Model checking algorithms for analog verification
    Hartong, W
    Hedrich, L
    Barke, E
    39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 542 - 547
  • [27] Model-checking graded computation-tree logic with finite path semantics
    Murano, Aniello
    Parente, Mimmo
    Rubin, Sasha
    Sorrentino, Loredana
    THEORETICAL COMPUTER SCIENCE, 2020, 806 : 577 - 586
  • [28] Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost
    Ma, Zhanyou
    Li, Zhaokai
    Li, Weijun
    Gao, Yingnan
    Li, Xia
    ENTROPY, 2022, 24 (09)
  • [29] Computation tree logic model checking based on multi-valued possibility measures
    Li, Yongming
    Lei, Lihui
    Li, Sanjiang
    INFORMATION SCIENCES, 2019, 485 : 87 - 113
  • [30] Model Checking Parallel Programs with Inputs
    Barnat, Jiri
    Bauch, Petr
    Havel, Vojtech
    2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014), 2014, : 756 - 759
12345