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 条
  • [1] APPROACH TO REAL-TIME CONTROL FLOW CHECKING.
    Yau, S.S.
    Chen, F.C.
    Yau, K.H.
    1978, : 163 - 168
  • [2] Abstract interpretation and model checking for checking secure information flow in concurrent systems
    De Francesco, N
    Santone, A
    Tesei, L
    FUNDAMENTA INFORMATICAE, 2003, 54 (2-3) : 195 - 211
  • [3] A dynamic label checking approach for information flow control in web services
    Tari, Zahir
    Bertok, Peter
    Simic, Dusan
    INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2006, 3 (01) : 1 - 28
  • [4] A structural approach for space compaction for concurrent checking and BIST
    Seuring, M
    Gossel, M
    Sogomonyan, E
    16TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 1998, : 354 - 361
  • [5] Dynamic model checking for concurrent programs in control system
    Liang, Hao
    Ai, Yunfeng
    Shen, Huairong
    Zhao, Yongchao
    Computer Modelling and New Technologies, 2014, 18 (12): : 275 - 281
  • [6] Control flow checking and recovering by compiler signatures and hardware checking
    Gong, Rui
    Chen, Wei
    Liu, Fang
    Dai, Kui
    Wang, Zhiying
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (02): : 345 - 351
  • [7] Nonlinear Codes for Control Flow Checking
    Di Natale, Giorgio
    Keren, Osnat
    2020 IEEE EUROPEAN TEST SYMPOSIUM (ETS 2020), 2020,
  • [8] Control flow checking in multitasking systems
    Technical Univ of Budapest, Budapest, Hungary
    Period Polytech Electr Eng, 1 (27-36):
  • [9] Control Flow Checking or Not? (for Soft Errors)
    Rhisheekesan, Abhishek
    Jeyapaul, Reiley
    Shrivastava, Aviral
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (01)
  • [10] Control Flow Checking at Virtual Edges
    Liu, LiPing
    Ci, LinLin
    Liu, Wei
    Yang, Hui
    KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2017, 11 (01): : 396 - 413
12345