Symbolic model checking of interactions in sequence diagrams with combined fragments by SMV

被引：0
|
作者：
Kawakami, Yuka [1 ]
Yokogawa, Tomoyukit [1 ]
Miyazaki, Hisashi [2 ]
Amasaki, Sousuke [1 ]
Sato, Yoichiro [1 ]
Hayase, Michiyoshi [1 ]
机构：
[1] Graduate School of Systems Engineering, Okayama Prefectural University, Kuboki 111, Soja-shi, Okayama 719-1197, Japan
[2] Kawasaki University of Medical Welfare, 288 Matsushima, Kurashiki-shi, Okayama 701-0193, Japan
来源：
World Academy of Science, Engineering and Technology | 2010年 / 47卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：543 / 546
相关论文
共 50 条
  • [31] Flat acceleration in symbolic model checking
    Bardin, S
    Finkel, A
    Leroux, J
    Schnoebelen, P
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 474 - 488
  • [32] Symbolic Model Checking without BDDs
    Biere, A
    Cimatti, A
    Clarke, E
    Zhu, YS
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 193 - 207
  • [33] FUNCTIONAL EXTENSION OF SYMBOLIC MODEL CHECKING
    FILKORN, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 225 - 232
  • [34] Symbolic and Structural Model-Checking
    Thierry-Mieg, Yann
    FUNDAMENTA INFORMATICAE, 2021, 183 (3-4) : 319 - 342
  • [35] Symbolic Model Checking on SystemC Designs
    Chou, Chun-Nan
    Ho, Yen-Sheng
    Hsieh, Chiao
    Huang, Chung-Yang
    2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 327 - 333
  • [36] Design constraints in symbolic model checking
    Kaufmann, M
    Martin, A
    Pixley, C
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 477 - 487
  • [37] Bayesian Inference by Symbolic Model Checking
    Salmani, Bahare
    Katoen, Joost-Pieter
    QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2020), 2020, 12289 : 115 - 133
  • [38] Distributed symbolic model checking for μ-calculus
    Grumberg, O
    Heyman, T
    Schuster, A
    FORMAL METHODS IN SYSTEM DESIGN, 2005, 26 (02) : 197 - 219
  • [39] A symbolic semantics for abstract model checking
    Levi, F
    STATIC ANALYSIS, 1998, 1503 : 134 - 151
  • [40] Symbolic model checking of logics with actions
    Pecheur, Charles
    Raimondi, Franco
    MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2007, 4428 : 113 - +
12345