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 条
  • [1] Using SPIN model checking for flight software verification
    Glück, PR
    Holzmann, GJ
    2002 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-7, 2002, : 105 - 113
  • [2] SPIN Model Checking for the BEE System
    Yamada, Chikatoshi
    Ganti, Sudhakar
    Miller, D. Michael
    TENCON 2015 - 2015 IEEE REGION 10 CONFERENCE, 2015,
  • [3] Combining Type-Checking with Model-Checking for System Verification
    Ren, Zhiqiang
    Xi, Hongwei
    2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 54 - 58
  • [4] System Verification of Autonomous Underwater Vehicles by Model Checking
    Molnar, L.
    Veres, S. M.
    OCEANS 2009 - EUROPE, VOLS 1 AND 2, 2009, : 454 - 463
  • [5] A lightweight integration of theorem proving and model checking for system verification
    Kong, WQ
    Ogata, K
    Seino, T
    Futatsugi, K
    12th Asia-Pacific Software Engineering Conference, Proceedings, 2005, : 59 - 66
  • [6] Model checking and verification of a rail-side protection system
    Sarikoc, Fatih
    SCIENCE OF COMPUTER PROGRAMMING, 2025, 244
  • [7] Model checking: Verification or debugging?
    Ruys, TC
    Brinksma, E
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 3009 - 3015
  • [8] Design verification by model checking
    1600, Japan Society for Software Science and Technology (31):
  • [9] MODEL CHECKING AND MODULAR VERIFICATION
    GRUMBERG, O
    LONG, DE
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 843 - 871
  • [10] Avionics system failure analysis and verification based on model checking
    Wang, Hongli
    Zhong, Deming
    Zhao, Tingdi
    ENGINEERING FAILURE ANALYSIS, 2019, 105 : 373 - 385
12345