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 条
  • [21] Model-checking quantum systems
    Mingsheng Ying
    Yuan Feng
    NationalScienceReview, 2019, 6 (01) : 28 - 31
  • [22] Partial order reduction: Model-checking using representatives
    Peled, D
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 93 - 112
  • [23] Model-checking quantum systems
    Ying, Mingsheng
    Feng, Yuan
    NATIONAL SCIENCE REVIEW, 2019, 6 (01) : 28 - 31
  • [24] Talking model-checking technology
    Hoffman, Leah
    COMMUNICATIONS OF THE ACM, 2008, 51 (07) : 112 - 111
  • [25] Model-checking process equivalences
    Lange, Martin
    Lozes, Etienne
    Guzman, Manuel Vargas
    THEORETICAL COMPUTER SCIENCE, 2014, 560 : 326 - 347
  • [26] Model-Checking Iterated Games
    Huang, Chung-Hao
    Schewe, Sven
    Wang, Farn
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 154 - 168
  • [27] Model-checking for adventure videogames
    Moreno-Ger, Pablo
    Fuentes-Fernandez, Ruben
    Sierra-Rodriguez, Jose-Luis
    Fernandez-Manjon, Baltasar
    INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (03) : 564 - 580
  • [28] Symmetry reductions in model-checking
    Sistla, AP
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 25 - 25
  • [29] Model-checking user behaviour using interacting components
    Basuki, Thomas Anung
    Cerone, Antonio
    Griesmayer, Andreas
    Schlatte, Rudolf
    FORMAL ASPECTS OF COMPUTING, 2009, 21 (06) : 571 - 588
  • [30] Verifying commit-atomicity using model-checking
    Flanagan, C
    MODEL CHECKING SOFTWARE, 2004, 2989 : 252 - 266
12345