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 条
  • [1] A tool for model-checking Markov chains
    Holger Hermanns
    Joost-Pieter Katoen
    Joachim Meyer-Kayser
    Markus Siegle
    International Journal on Software Tools for Technology Transfer, 2003, 4 (2) : 153 - 172
  • [2] A Model-Checking Tool for Families of Services
    Asirelli, Patrizia
    ter Beek, Maurice H.
    Fantechi, Alessandro
    Gnesi, Stefania
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, 2011, 6722 : 44 - 58
  • [3] MetaGame:: An animation tool for model-checking games
    Müller-Olm, M
    Yoo, H
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2004, 2988 : 163 - 167
  • [4] The model-checking kit
    Schröter, C
    Schwoon, S
    Esparza, J
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 463 - 472
  • [5] Kronos: A model-checking tool for real-time systems
    Bozga, M
    Daws, C
    Maler, O
    Olivero, A
    Tripakis, S
    Yovine, S
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 546 - 550
  • [6] QLTL Model-Checking
    Laroussinie, Francois
    Leclercq, Loriane
    Sangnier, Arnaud
    32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
  • [7] SPLAT: A tool for model-checking and dynamically-enforcing abstractions
    Madhavapeddy, A
    Scott, D
    Sharp, R
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2005, 3639 : 277 - 281
  • [8] Model-Checking Parse Trees
    Boral, Anudhyan
    Schmitz, Sylvain
    2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 153 - 162
  • [9] Model-checking quantum systems
    Mingsheng Ying
    Yuan Feng
    NationalScienceReview, 2019, 6 (01) : 28 - 31
  • [10] Model-checking quantum systems
    Ying, Mingsheng
    Feng, Yuan
    NATIONAL SCIENCE REVIEW, 2019, 6 (01) : 28 - 31
12345