SDLcheck:: A model checking tool

被引：0
|
作者：
Levin, V [1 ]
Yenigün, H [1 ]
机构：
[1] Bell Labs, Lucent Technol, Murray Hill, NJ 07974 USA
来源：
COMPUTER AIDED VERIFICATION, PROCEEDINGS | 2001年 / 2102卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：378 / 381
页数：4
相关论文
共 50 条
  • [1] αSPIN: A tool for abstract model checking
    María del Mar Gallardo
    Jesús Martínez
    Pedro Merino
    Ernesto Pimentel
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 5 (2-3) : 165 - 184
  • [2] CSL model checking for the GreatSPN tool
    D'Aprile, D
    Donatelli, S
    Sproston, J
    [J]. COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 543 - 552
  • [3] Exploring Vim Using Model Checking Tool
    Jiang, Luyao
    Ying, Jun
    Cui, Yao
    [J]. 2010 INTERNATIONAL CONFERENCE ON INFORMATION, ELECTRONIC AND COMPUTER SCIENCE, VOLS 1-3, 2010, : 1509 - 1512
  • [4] PRISM 2.0: A tool for probabilistic model checking
    Kwiatkowska, M
    Norman, G
    Parker, D
    [J]. QEST 2004: FIRST INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2004, : 322 - 323
  • [5] Tool Presentation: Teaching Concurrency and Model Checking
    Ben-Ari, Mordechai
    [J]. MODEL CHECKING SOFTWARE, 2009, 5578 : 6 - 11
  • [6] A Tool Support for Checking Consistency in Model Refactoring
    Thi-Huong Dao
    Thanh-Binh Trinh
    Ninh-Thuan Truong
    [J]. 2017 9TH INTERNATIONAL CONFERENCE ON KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2017), 2017, : 100 - 105
  • [7] ISP: A Tool for Model Checking MPI Programs
    Vakkalanka, Sarvani
    Sharma, Subodh
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    [J]. PPOPP'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, 2008, : 285 - 286
  • [8] A Model-Checking Tool for Families of Services
    Asirelli, Patrizia
    ter Beek, Maurice H.
    Fantechi, Alessandro
    Gnesi, Stefania
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, 2011, 6722 : 44 - 58
  • [9] A tool for model-checking Markov chains
    Holger Hermanns
    Joost-Pieter Katoen
    Joachim Meyer-Kayser
    Markus Siegle
    [J]. International Journal on Software Tools for Technology Transfer, 2003, 4 (2) : 153 - 172
  • [10] T(O)RMC:: A tool for (ω)-Regular model checking tool paper
    Legay, Axel
    [J]. COMPUTER AIDED VERIFICATION, 2008, 5123 : 548 - 551
12345