Model-checking software using precise abstractions

被引：0
|
作者：
Chechik, Marsha [1 ]
Gurfinkel, Arie [1 ]
机构：
[1] Univ Toronto, Dept Comp Sci, Toronto, ON M5S 3G4, Canada
来源：
VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS | 2008年 / 4171卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：347 / 353
页数：7
相关论文
共 50 条
  • [1] Systematic construction of abstractions for model-checking
    Gurfinkel, A
    Wei, O
    Chechik, M
    VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 381 - 397
  • [2] SPLAT: A tool for model-checking and dynamically-enforcing abstractions
    Madhavapeddy, A
    Scott, D
    Sharp, R
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2005, 3639 : 277 - 281
  • [3] Model-checking complex software - A memory perspective
    Rangarajan, M
    Cofer, D
    RADICAL INNOVATIONS OF SOFTWARE AND SYSTEMS ENGINEERING IN THE FUTURE, 2004, 2941 : 283 - 296
  • [4] Exploiting symmetry when model-checking software
    Godefroid, P
    FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 257 - 275
  • [5] Model-Checking of Safety-Critical Software for Avionics
    Cofer, Darren
    Whalen, Michael
    Miller, Steven
    ERCIM NEWS, 2008, (75): : 15 - 16
  • [6] Software Model-Checking as Cyclic-Proof Search
    Tsukada, Takeshi
    Unno, Hiroshi
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
  • [7] Model-checking software library API usage rules
    Fu Song
    Tayssir Touili
    Software & Systems Modeling, 2016, 15 : 961 - 985
  • [8] Model-checking software library API usage rules
    Song, Fu
    Touili, Tayssir
    SOFTWARE AND SYSTEMS MODELING, 2016, 15 (04): : 961 - 985
  • [9] Practical model-checking using games
    Stevens, P
    Stirling, C
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 85 - 101
  • [10] Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking
    Aoki, Yoshitaka
    Matsuura, Saeko
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, E97D (05) : 1097 - 1108
12345