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 条
  • [31] Model Checking Workflow Net Based on Petri Net
    ZHOU Conghua~1
    2. School of Computer Science and Engineering
    Wuhan University Journal of Natural Sciences, 2006, (05) : 1297 - 1301
  • [32] MODEL CHECKING USING NET UNFOLDINGS
    ESPARZA, J
    SCIENCE OF COMPUTER PROGRAMMING, 1994, 23 (2-3) : 151 - 195
  • [33] Model checking: Formal verification at a higher level
    Kurshan, B
    DePalma, G
    COMPUTER DESIGN, 1996, 35 (09): : 72 - 73
  • [34] A FORMAL MODEL OF PROGRAM DEPENDENCES AND ITS IMPLICATIONS FOR SOFTWARE TESTING, DEBUGGING, AND MAINTENANCE
    PODGURSKI, A
    CLARKE, LA
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 965 - 979
  • [35] Domain Analysis of Formal Model Checking Tools
    Wedyan, Fadi
    Freihat, Reema
    Wedyan, Suzan
    Bani-Salameh, Hani
    Yousef, Hala
    2017 INTERNATIONAL CONFERENCE ON ENGINEERING AND TECHNOLOGY (ICET), 2017,
  • [36] A tool for visual and formal modelling of software designs
    Amalio, Nuno
    Glodt, Christian
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 98 : 52 - 79
  • [37] Using software model checking for software component certification
    Taleghani, Ali
    29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS, 2007, : 99 - 100
  • [38] Model Checking Large Software Specifications Software Engineering
    Software Eng Notes, 6 (156):
  • [39] Software model checking for resources race
    Hong Wang
    Tao Zhang
    Cluster Computing, 2017, 20 : 179 - 193
  • [40] Software model checking with abstraction refinement
    Podelski, A
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 1 - 3
12345