Program restructuring to improve efficiency of software model checking

被引：0
|
作者：
Huang, Weiping [1 ,2 ]
机构：
[1] Department of Information Engineering, Shaoyang University, Shaoyang 422000, China
[2] International School of Software, Wuhan University, Wuhan 430072, China
来源：
Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 2008年 / 45卷 / 08期
关键词：
Model checking;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1417 / 1422
相关论文
共 50 条
  • [1] Static program transformations for efficient software model checking
    Vasudevan, S
    Abraham, JA
    BUILDING THE INFORMATION SOCIETY, 2004, 156 : 257 - 281
  • [2] Deductively Verified Program Models for Software Model Checking
    Amilon, Jesper
    Gurov, Dilian
    LEVERAGING APPLICATIONS OF FORMAL METHOD, VERIFICATION AND VALIDATION: SPECIFICATION AND VERIFICATION, PT III, ISOLA 2024, 2025, 15221 : 8 - 25
  • [3] 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
  • [4] FORMAL MODELLING OF PROGRAM DEPENDENCE NET FOR SOFTWARE MODEL CHECKING
    Li, Shuo
    Ding, Zhijun
    Pan, Meiqin
    COMPUTING AND INFORMATICS, 2024, 43 (05) : 1161 - 1184
  • [5] Software Model Checking
    Jhala, Ranjit
    Majumdar, Rupak
    ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [6] Configurable software verification:: Concretizing the convergence of model checking and program analysis
    Beyer, Dirk
    Henzinger, Thomas A.
    Theoduloz, Gregory
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 504 - +
  • [7] Improving Software Model Checking on Program Backbone within Distributed System
    Yong, Jiawei
    Koyanagi, Keiichi
    Tsuchiya, Takeshi
    Yamada, Tetsuyasu
    Sawano, Hiroaki
    2014 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA), 2014, : 35 - 40
  • [8] An empirical study of open source flight control software program model checking
    Cao, Zhiqin
    Yin, Jinyu
    Wang, Yichen
    Li, Yu
    Zhang, Jintao
    2019 COMPANION OF THE 19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS-C 2019), 2019, : 164 - 169
  • [9] Ant Colony Optimization Directed Program Abstraction for Software Bounded Model Checking
    Cheng, Xueqi
    Hsiao, Michael S.
    2008 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 2008, : 46 - 51
  • [10] Model Checking of Software for Microcontrollers
    Schlich, Bastian
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 9 (04)
12345