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 条
  • [21] Symbolic Causality Checking Using Bounded Model Checking
    Beer, Adrian
    Heidinger, Stephan
    Kuehne, Uwe
    Leitner-Fischer, Florian
    Leue, Stefan
    MODEL CHECKING SOFTWARE, SPIN 2015, 2015, 9232 : 203 - 221
  • [22] Unit checking: Symbolic model checking for a unit of code
    Gunter, E
    Peled, D
    VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 548 - 567
  • [23] Checking compositions of UML sequence diagrams for timing inconsistency
    Li, XD
    Lilius, J
    SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 154 - 161
  • [24] Model checking synchronous timing diagrams
    Amla, N
    Emerson, EA
    Kurshan, RP
    Namjoshi, KS
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2000, 1954 : 283 - 298
  • [25] Symbolic model checking for probabilistic processes
    Baier, C
    Clarke, EM
    Hartonas-Garmhausen, V
    Kwiatkowska, M
    Ryan, M
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 430 - 440
  • [26] Eager Abstraction for Symbolic Model Checking
    McMillan, Kenneth L.
    COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 191 - 208
  • [27] Symbolic execution and model checking for testing
    Pasareanu, Corina S.
    Visser, Willem
    HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 2008, 4899 : 17 - +
  • [28] A symbolic semantics for abstract model checking
    Levi, F
    SCIENCE OF COMPUTER PROGRAMMING, 2001, 39 (01) : 93 - 123
  • [29] Bisimulation minimization and symbolic model checking
    Fisler, K
    Vardi, MY
    FORMAL METHODS IN SYSTEM DESIGN, 2002, 21 (01) : 39 - 78
  • [30] Bisimulation Minimization and Symbolic Model Checking
    Kathi Fisler
    Moshe Y. Vardi
    Formal Methods in System Design, 2002, 21 : 39 - 78
12345