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 条
  • [31] Design of a portable control-flow checking technique
    Alkhalifa, Z
    Nair, VSS
    1997 HIGH-ASSURANCE ENGINEERING WORKSHOP - PROCEEDINGS, 1997, : 120 - 123
  • [32] Interactive Hybrid Control-flow Checking Method
    Duricek, Maros
    Krajcovic, Tibor
    2014 INTERNATIONAL CONFERENCE ON APPLIED ELECTRONICS (AE), 2014, : 79 - 82
  • [33] Control flow model for concurrent Java programs
    College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China
    Huazhong Ligong Daxue Xuebao, 2008, 1 (78-81):
  • [34] Automated refinement checking of concurrent systems
    Kundu, Sudipta
    Lerner, Sorin
    Gupta, Rajesh
    IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS, VOLS 1 AND 2, 2007, : 318 - 325
  • [35] Model checking concurrent systems with MSVL
    Nan ZHANG
    Zhenhua DUAN
    Cong TIAN
    ScienceChina(InformationSciences), 2016, 59 (11) : 224 - 226
  • [36] TYPE CHECKING CONCURRENT I/O
    CARLISLE, WH
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1995, 17 (03): : 448 - 460
  • [37] Model Checking of Automotive Control Software: An Industrial Approach
    Matsubara, Masahiro
    Tsuchiya, Tatsuhiro
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2020, E103D (08): : 1794 - 1805
  • [38] Model checking in concurrent programming teaching
    Krystosik, Artur
    EUROCON 2007: THE INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL, VOLS 1-6, 2007, : 917 - 923
  • [39] Model checking unbounded concurrent lists
    Sethi, Divjyot
    Talupur, Muralidhar
    Malik, Sharad
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (04) : 375 - 391
  • [40] Model checking for the concurrent constraint paradigm
    Villanueva, A
    AI COMMUNICATIONS, 2004, 17 (02) : 93 - 94
12345