AN APPROACH TO CONCURRENT CONTROL FLOW CHECKING

被引：56
|
作者：
YAU, SS
CHEN, FC
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1980年 / 6卷 / 02期
关键词：
D O I：
10.1109/TSE.1980.234478
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：126 / 137
页数：12
相关论文
共 50 条
  • [41] Tractable Refinement Checking for Concurrent Objects
    Bouajjani, Ahmed
    Emmi, Michael
    Enea, Constantin
    Hamza, Jad
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 651 - 662
  • [42] Slicing concurrent programs for model checking
    Dong, Wei
    Wang, Ji
    Qi, Zhi-Chang
    Jisuanji Xuebao/Chinese Journal of Computers, 2003, 26 (03): : 266 - 274
  • [43] Concurrent checking of clock signal correctness
    Metra, C
    Favalli, M
    Ricco, B
    IEEE DESIGN & TEST OF COMPUTERS, 1998, 15 (04): : 42 - 48
  • [44] Model checking concurrent systems with MSVL
    Nan Zhang
    Zhenhua Duan
    Cong Tian
    Science China Information Sciences, 2016, 59
  • [45] Fault latencies of concurrent checking FSMs
    Goot, R
    Levin, I
    Ostanin, S
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS: ARCHITECTURES, METHODS AND TOOLS, 2002, : 174 - 179
  • [46] Model checking unbounded concurrent lists
    Divjyot Sethi
    Muralidhar Talupur
    Sharad Malik
    International Journal on Software Tools for Technology Transfer, 2016, 18 : 375 - 391
  • [47] Bounded model checking of concurrent programs
    Rabinovitz, I
    Grumberg, O
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 82 - 97
  • [48] Model checking concurrent systems with MSVL
    Zhang, Nan
    Duan, Zhenhua
    Tian, Cong
    SCIENCE CHINA-INFORMATION SCIENCES, 2016, 59 (11)
  • [49] Compositional Model Checking of Concurrent Systems
    Zheng, Hao
    Zhang, Zhen
    Myers, Chris J.
    Rodriguez, Emmanuel
    Zhang, Yingying
    IEEE TRANSACTIONS ON COMPUTERS, 2015, 64 (06) : 1607 - 1621
  • [50] FAULT LATENCIES OF CONCURRENT CHECKING FSMS
    Ostanin, S. A.
    TOMSK STATE UNIVERSITY JOURNAL, 2006, (293): : 165 - +
12345