Evidence explorer: A tool for exploring model-checking proofs

被引：0
|
作者：
Dong, YF [1 ]
Ramakrishnan, CR [1 ]
Smolka, SA [1 ]
机构：
[1] SUNY Stony Brook, Stony Brook, NY 11794 USA
来源：
COMPUTER AIDED VERIFICATION | 2003年 / 2725卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：215 / 218
页数：4
相关论文
共 50 条
  • [21] Model-checking with coverability graphs
    Schmidt, K
    FORMAL METHODS IN SYSTEM DESIGN, 1999, 15 (03) : 239 - 254
  • [22] Model-checking processes with data
    Groote, JF
    Willemse, TAC
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 56 (03) : 251 - 273
  • [23] Model-checking hierarchical structures
    Lohrey, M
    LICS 2005: 20TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - PROCEEDINGS, 2005, : 168 - 177
  • [24] Model-Checking with Coverability Graphs
    Karsten Schmidt
    Formal Methods in System Design, 1999, 15 : 239 - 254
  • [25] 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
  • [26] Model-checking iterated games
    Huang, Chung-Hao
    Schewe, Sven
    Wang, Farn
    ACTA INFORMATICA, 2017, 54 (07) : 625 - 654
  • [27] Model-Checking Process Equivalences
    Lange, Martin
    Lozes, Etienne
    Guzman, Manuel Vargas
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (96): : 43 - 56
  • [28] Model-checking hierarchical structures
    Lohrey, Markus
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (02) : 461 - 490
  • [29] 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
  • [30] Exploring Vim Using Model Checking Tool
    Jiang, Luyao
    Ying, Jun
    Cui, Yao
    2010 INTERNATIONAL CONFERENCE ON INFORMATION, ELECTRONIC AND COMPUTER SCIENCE, VOLS 1-3, 2010, : 1509 - 1512
12345