Bounded model checking technique for interrupt-driven systems

被引：0
|
作者：
State Key Laboratory for Novel Software Technology , Nanjing [1 ]
210023, China
不详 [2 ]
210093, China
不详 [3 ]
710072, China
不详 [4 ]
210023, China
不详 [5 ]
100094, China
机构：
来源：
Ruan Jian Xue Bao | / 10卷 / 2485-2503期
关键词：
D O I：
10.13328/j.cnki.jos.004790
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Model checking technique for interrupt-driven system
    Zhou, Xiao-Yu
    Gu, Bin
    Zhao, Jian-Hua
    Yang, Meng-Fei
    Li, Xuan-Dong
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (09): : 2212 - 2230
  • [2] Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking
    Wu, Xueguang
    Wen, Yanjun
    Chen, Liqian
    Dong, Wei
    Wang, Ji
    2013 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY - COMPANION (SERE-C), 2013, : 205 - 211
  • [3] Static checking of interrupt-driven software
    Brylow, D
    Damgaard, N
    Palsberg, J
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 47 - 56
  • [4] A Denotational Model for Interrupt-Driven Programs
    Huang, Yanhong
    Zhao, Yongxin
    Shi, Jianqi
    Zhu, Huibiao
    IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 15 - 20
  • [5] iDola: Bridge Modeling to Verification and Implementation of Interrupt-driven Systems
    Liu, Han
    Zhang, Hehua
    Jiang, Yu
    Song, Xiaoyu
    Gu, Ming
    Sun, Jiaguang
    2014 THEORETICAL ASPECTS OF SOFTWARE ENGINEERING CONFERENCE (TASE), 2014, : 193 - 200
  • [6] Bounded Verification of Atomicity Violations for Interrupt-Driven Programs via Lazy Sequentialization
    Zhang, Yuan
    Qu, Lei
    Wu, Yifei
    Wu, Leihuan
    Yu, Tingting
    Chen, Rui
    Kong, Weiqiang
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2025, 34 (03)
  • [7] Modular Verification of Interrupt-Driven Software
    Sung, Chungha
    Kusano, Markus
    Wang, Chao
    PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 206 - 216
  • [8] Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-driven Systems
    Pan, Minxue
    Chen, Shouyu
    Pei, Yu
    Zhang, Tian
    Li, Xuandong
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019), 2019, : 212 - 222
  • [9] Deadline analysis of interrupt-driven software
    Brylow, D
    Palsberg, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (10) : 634 - 655
  • [10] M6800 SP FUNCTIONS AS IR IN INTERRUPT-DRIVEN SYSTEMS
    GASS, G
    EDN MAGAZINE-ELECTRICAL DESIGN NEWS, 1978, 23 (12): : 48 - 48
12345