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 条
  • [21] Probabilistic verification of a biodiesel production system using statistical model checking
    Riley, D. D.
    Koutsoukos, X.
    MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, 2014, 20 (05) : 452 - 469
  • [22] Statistical Model Checking for Verification of Rare Properties of Stochastic Hybrid System
    Fang, Bing-Wu
    Huang, Zhi-Qiu
    Xie, Jian
    Ruan Jian Xue Bao/Journal of Software, 2022, 33 (10): : 3717 - 3731
  • [23] Verification system for transient response of analog circuits using model checking
    Dastidar, TR
    Chakrabarti, PP
    18TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS: POWER AWARE DESIGN OF VLSI SYSTEMS, 2005, : 195 - 200
  • [24] A novel collaborative scheme of simulation and model checking for system properties verification
    Zhu, Ming
    Bian, Jinian
    Wu, Weimin
    COMPUTERS IN INDUSTRY, 2006, 57 (8-9) : 752 - 757
  • [25] A Case Study of Model Checking Retail Banking System with SPIN
    Shi, Huiling
    Ma, Wenke
    Yang, Meihong
    Zhang, Xinchang
    JOURNAL OF COMPUTERS, 2012, 7 (10) : 2503 - 2510
  • [26] Model checking algorithms for analog verification
    Hartong, W
    Hedrich, L
    Barke, E
    39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 542 - 547
  • [27] Microarchitecture verification by compositional model checking
    Jhala, R
    McMillan, KL
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 396 - 410
  • [28] Model checking for ACL compliance verification
    Huget, MP
    Wooldridge, M
    ADVANCES IN AGENT COMMUNICATION, 2003, 2922 : 75 - 90
  • [29] ebXML verification using model checking
    Di Sciascio, E
    Donini, FM
    Mongiello, M
    Piscitelli, G
    ITI 2004: PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2004, : 455 - 460
  • [30] Verification of clinical guidelines by model checking
    Perez, Beatriz
    Porres, Ivan
    PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, 2008, : 114 - +
12345