FORMAL MODELLING OF PROGRAM DEPENDENCE NET FOR SOFTWARE MODEL CHECKING

被引：0
|
作者：
Li, Shuo [1 ]
Ding, Zhijun [2 ]
Pan, Meiqin [3 ]
机构：
[1] School of Information Science and Technology, Taishan University, Taian,271000, China
[2] Department of Computer Science, Tongji University, Shanghai,201804, China
[3] School of Business and Management, Shanghai International Studies University, Shanghai,200083, China
来源：
Computing and Informatics | 2024年 / 43卷 / 05期
关键词：
Compendex;
D O I：
10.31577/cai_2024_5_1161
中图分类号：
学科分类号：
摘要：
Automata theory - C (programming language) - Logic programming - Model checking - Multiprocessing programs - Problem oriented languages - Temporal logic
引用
收藏
页码：1161 / 1184
相关论文
共 50 条
  • [41] A petri net extension for formal modelling of information systems
    Kresoja, Sasa
    Rackovic, Milos
    Skrbic, Srdjan
    Surla, Bojana Dimic
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2016, 31 (03): : 223 - 237
  • [42] Software model checking: The Bandera approach
    Dwyer, Matthew
    IFIP Advances in Information and Communication Technology, 2002, 81 : 3 - 4
  • [43] Software Model Checking Takes Off
    Miller, Steven P.
    Whalen, Michael W.
    Cofer, Daren D.
    COMMUNICATIONS OF THE ACM, 2010, 53 (02) : 58 - 64
  • [44] Parallel Assignments in Software Model Checking
    Stokely, Murray
    Chaki, Sagar
    Ouaknine, Joel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (01) : 77 - 94
  • [45] Software testing via model checking
    Belli, F
    Güldali, B
    COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 907 - 916
  • [46] Distributed and Predictable Software Model Checking
    Lopes, Nuno P.
    Rybalchenko, Andrey
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 340 - +
  • [47] Executable Counterexamples in Software Model Checking
    Gennari, Jeffrey
    Gurfinkel, Arie
    Kahsai, Temesghen
    Navas, Jorge A.
    Schwartz, Edward J.
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 17 - 37
  • [48] Translating software designs for model checking
    Xie, F
    Levin, V
    Kurshan, RR
    Browne, JC
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 324 - 338
  • [49] SOFTWARE MODEL CHECKING FOR AVIONICS SYSTEMS
    Cofer, Darren
    Whalen, Michael
    Miller, Steven
    DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, : 1209 - 1216
  • [50] Software model checking for resources race
    Wang, Hong
    Zhang, Tao
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2017, 20 (01): : 179 - 193
12345