Model checking and verification of the Internet Payment System with SPIN

被引：5
|
作者：
Zhang, Wei [1 ]
Ma, Wen-ke [1 ]
Shi, Hui-ling [1 ]
Zhu, Fu-qiang [1 ]
机构：
[1] Shandong Provincial Key Laboratory of Computer Network, Shandong Computer Science Center, Jinan, China
来源：
Journal of Software | 2012年 / 7卷 / 09期
关键词：
D O I：
10.4304/jsw.7.9.1941-1949
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1941 / 1949
相关论文
共 50 条
  • [31] Model Checking: Algorithmic Verification and Debugging
    Clarke, Edmund M.
    Emerson, E. Allen
    Sifakis, Joseph
    COMMUNICATIONS OF THE ACM, 2009, 52 (11) : 75 - 84
  • [32] Model Checking for Verification of Quantum Circuits
    Ying, Mingsheng
    FORMAL METHODS, FM 2021, 2021, 13047 : 23 - 39
  • [33] On Applying Model Checking in Formal Verification
    Hjort, Hakan
    2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 3 - 3
  • [34] Applying model checking to workflow verification
    Pfeiffer, JH
    Rossak, WR
    Speck, A
    11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 144 - 151
  • [35] SPIN model checking: An introduction
    Holzmann G.
    Najm E.
    Serhrouchni A.
    International Journal on Software Tools for Technology Transfer, 2000, Springer Verlag (02) : 321 - 327
  • [36] Model Checking Paxos in Spin
    Delzanno, Giorgio
    Tatarek, Michele
    Traverso, Riccardo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (161): : 131 - 146
  • [37] Software model checking with SPIN
    Holzmann, GJ
    ADVANCES IN COMPUTERS, VOL 65, 2005, 65 : 77 - 108
  • [38] Model checking SDL with spin
    Bosnacki, D
    Dams, D
    Holenderski, L
    Sidorova, N
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 363 - 377
  • [39] Probabilistic Model Checking for Green Energy Router System in Energy Internet
    Gao, Min
    Wang, Kun
    He, Lei
    GLOBECOM 2017 - 2017 IEEE GLOBAL COMMUNICATIONS CONFERENCE, 2017,
  • [40] IPS - Secure Internet payment system
    Djuric, Z
    ITCC 2005: International Conference on Information Technology: Coding and Computing, Vol 1, 2005, : 425 - 430
12345