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 条
  • [41] Model-checking iterated games
    Huang, Chung-Hao
    Schewe, Sven
    Wang, Farn
    ACTA INFORMATICA, 2017, 54 (07) : 625 - 654
  • [42] Model-Checking Process Equivalences
    Lange, Martin
    Lozes, Etienne
    Guzman, Manuel Vargas
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (96): : 43 - 56
  • [43] Model-checking hierarchical structures
    Lohrey, Markus
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (02) : 461 - 490
  • [44] Model checking graphical user interfaces using abstractions
    Dwyer, MB
    Carr, V
    Hines, L
    SOFTWARE ENGINEERING - ESEC/FSE '97, 1997, 1301 : 244 - 261
  • [45] Towards Model-Checking Security of Real-Time Java']Java Software
    Spalazzi, Luca
    Spegni, Francesco
    Liva, Giovanni
    Pinzger, Martin
    PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), 2018, : 642 - 649
  • [46] Model-checking plus testing: From software architecture analysis to code testing
    Bucchiarone, A
    Muccini, H
    Pelliccione, P
    Pierini, P
    APPLYING FORMAL METHODS: TESTING, PERFORMANCE, AND M/E- COMMERCE, PROCEEDINGS, 2004, 3236 : 351 - 365
  • [47] Abstractions and reductions in model checking
    Grumberg, O
    PROOF AND SYSTEM-RELIABILITY, 2002, 62 : 289 - 321
  • [48] Simulation-Based Abstractions for Software Product-Line Model Checking
    Cordy, Maxime
    Classen, Andreas
    Perrouin, Gilles
    Schobbens, Pierre-Yves
    Heymans, Patrick
    Legay, Axel
    2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 672 - 682
  • [49] Model-checking Timed Temporal Logics
    Bouyer, Patricia
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 231 : 323 - 341
  • [50] Model-Checking HyperLTL for Pushdown Systems
    Pommellet, Adrien
    Touili, Tayssir
    MODEL CHECKING SOFTWARE, SPIN 2018, 2018, 10869 : 133 - 152
12345