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 条
  • [41] Symbolic model checking of biochemical networks
    Chabrier, N
    Fages, F
    COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS, 2003, 2602 : 149 - 162
  • [42] Distributed Symbolic Model Checking for μ-Calculus
    Orna Grumberg
    Tamir Heyman
    Assaf Schuster
    Formal Methods in System Design, 2005, 26 : 197 - 219
  • [43] ON SYMBOLIC MODEL CHECKING IN PETRI NETS
    HIRAISHI, K
    NAKANO, M
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1995, E78A (11) : 1479 - 1486
  • [44] Optimizing symbolic model checking for statecharts
    Chan, W
    Anderson, RJ
    Beame, P
    Jones, DH
    Notkin, D
    Warner, WE
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (02) : 170 - 190
  • [45] Distributed symbolic model checking for μ-calculus
    Grumberg, O
    Heyman, T
    Schuster, A
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 350 - 362
  • [46] On model checking for the μ-calculus and its fragments
    Emerson, EA
    Jutla, CS
    Sistla, AP
    THEORETICAL COMPUTER SCIENCE, 2001, 258 (1-2) : 491 - 522
  • [47] On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications.
    Messaoudi, Nabil
    Chaoui, Allaoua
    Derardja, Mourad
    Bettaz, Mohamed
    7TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2016) / THE 6TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2016) / AFFILIATED WORKSHOPS, 2016, 83 : 658 - 664
  • [48] Model Checking UML Activity Diagrams in FDR
    Xu, Dong
    Miao, Huaikou
    Philbert, Nduwimfura
    PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 1035 - 1040
  • [49] TLA+ Model Checking Made Symbolic
    Konnov, Igor
    Kukovec, Jure
    Tran, Thanh-Hai
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
  • [50] Approximate symbolic model checking for incomplete designs
    Nopper, T
    Scholl, C
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 290 - 305
12345