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 条
  • [1] Formal software analysis - Emerging trends in software model checking
    Dwyer, Matthew B.
    Hatcliff, John
    Robby
    Pasareanu, Corina S.
    Visser, Willem
    FOSE 2007: FUTURE OF SOFTWARE ENGINEERING, 2007, : 120 - +
  • [2] Change-aware model checking for evolving concurrent programs based on Program Dependence Net
    Li, Shuo
    Chen, Cheng
    Huang, Zheng
    Ding, Zhijun
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2023, 36 (06)
  • [3] Static program transformations for efficient software model checking
    Vasudevan, S
    Abraham, JA
    BUILDING THE INFORMATION SOCIETY, 2004, 156 : 257 - 281
  • [4] Program restructuring to improve efficiency of software model checking
    Huang, Weiping
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2008, 45 (08): : 1417 - 1422
  • [5] A Candid Industrial Evaluation of Formal Software Verification using Model Checking
    Bennion, Matthew
    Habli, Ibrahim
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 175 - 184
  • [6] Zing: Exploiting program structure for model checking concurrent software
    Andrews, T
    Qadeer, S
    Rajamani, SK
    Rehof, J
    Xie, YC
    CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 1 - 15
  • [7] A Formal Approach to Checking Consistency in Software Refactoring
    Hong Anh Le
    Thi-Huong Dao
    Ninh-Thuan Truong
    Mobile Networks and Applications, 2017, 22 : 356 - 366
  • [8] Checking Critical Software Systems: A Formal Proposal
    Mendoza Morales, Luis E.
    Capel, Manuel I.
    PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2016, : 160 - 163
  • [9] Formal Modelling and Verification of a Component Model using Coloured Petri Nets and Model Checking
    Oliveira, Elthon
    Almeida, Hyggo
    Silva, Leandro
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1427 - +
  • [10] Model Checking with Program Slicing Based on Variable Dependence Graphs
    Matsubara, Masahiro
    Sakurai, Kohei
    Narisawa, Fumio
    Enshoiwa, Masushi
    Yamane, Yoshio
    Yamanaka, Hisamitsu
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (105): : 56 - 68
12345