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 条
  • [31] On model-checking of P systems
    Dang, Z
    Ibarra, OH
    Li, C
    Xie, GY
    UNCONVENTIONAL COMPUTATION, PROCEEDINGS, 2005, 3699 : 82 - 93
  • [32] Model-checking iterated games
    Chung-Hao Huang
    Sven Schewe
    Farn Wang
    Acta Informatica, 2017, 54 : 625 - 654
  • [33] Symbolic and Structural Model-Checking
    Thierry-Mieg, Yann
    FUNDAMENTA INFORMATICAE, 2021, 183 (3-4) : 319 - 342
  • [34] Model-Checking on Ordered Structures
    Eickmeyer, Kord
    van den Heuvel, Jan
    Kawarabayashi, Ken-ichi
    Kreutzer, Stephan
    de Mendez, Patrice Ossona
    Pilipczuk, Michal
    Quiroz, Daniel A.
    Rabinovich, Roman
    Siebertz, Sebastian
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2020, 21 (02)
  • [35] Model-checking -: A tutorial introduction
    Müller-Olm, M
    Schmidt, D
    Steffen, B
    STATIC ANALYSIS, 1999, 1694 : 330 - 354
  • [36] Model-checking with coverability graphs
    Schmidt, K
    FORMAL METHODS IN SYSTEM DESIGN, 1999, 15 (03) : 239 - 254
  • [37] Model-checking processes with data
    Groote, JF
    Willemse, TAC
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 56 (03) : 251 - 273
  • [38] Model-checking hierarchical structures
    Lohrey, M
    LICS 2005: 20TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - PROCEEDINGS, 2005, : 168 - 177
  • [39] Model-Checking with Coverability Graphs
    Karsten Schmidt
    Formal Methods in System Design, 1999, 15 : 239 - 254
  • [40] Model-Checking of Smart Contracts
    Nehai, Zeinab
    Piriou, Pierre-Yves
    Daumas, Frederic
    IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY, 2018, : 980 - 987
12345