Model checking complete requirements specifications using abstraction

被引：0
|
作者：
Bharadwaj, Ramesh [1 ]
Heitmeyer, Constance L. [1 ]
机构：
[1] Naval Research Lab, Washington, United States
来源：
Automated Software Engineering | 1999年 / 6卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：37 / 68
相关论文
共 50 条
  • [31] Model checking TLA+ specifications
    Yu, Y
    Manolios, P
    Lamport, L
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 54 - 66
  • [32] Model checking guided abstraction and analysis
    Saïdi, H
    STATIC ANALYSIS, 2000, 1824 : 377 - 396
  • [33] Competent predicate abstraction in model checking
    Li Li
    XiaoYu Song
    Ming Gu
    XiangYu Luo
    Science China Information Sciences, 2011, 54 : 258 - 267
  • [34] Competent predicate abstraction in model checking
    Li Li
    Song XiaoYu
    Gu Ming
    Luo XiangYu
    SCIENCE CHINA-INFORMATION SCIENCES, 2011, 54 (02) : 258 - 267
  • [35] Software model checking with abstraction refinement
    Podelski, A
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 1 - 3
  • [36] Eager Abstraction for Symbolic Model Checking
    McMillan, Kenneth L.
    COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 191 - 208
  • [37] Model checking RAISE applicative specifications
    Perna, Juan Ignacio
    George, Chris
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 257 - +
  • [38] Abstraction refinement for bounded model checking
    Gupta, A
    Strichman, O
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 112 - 124
  • [39] Competent predicate abstraction in model checking
    LI Li1
    2Key Laboratory for Information System Security
    3School of Software
    4Department of ECE
    ScienceChina(InformationSciences), 2011, 54 (02) : 258 - 267
  • [40] Requirements specifications checking of embedded real-time software
    Guoqing Wu
    Fengdi Shu
    Min Wang
    Weiqing Chen
    Journal of Computer Science and Technology, 2002, 17 : 56 - 63
12345