Model Checking of a Cash Machine System

被引：0
|
作者：
Jindal, Vartika [1 ]
Carr, Mahil [2 ]
机构：
[1] Hyderabad Cent Univ, Sch Comp & Informat Sci, Inst Res & Dev Banking Technol, Hyderabad, Andhra Pradesh, India
[2] Reserve Bank India, Inst Res & Dev Banking Technol, Hyderabad, Andhra Pradesh, India
来源：
PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON RELIABILTY, OPTIMIZATION, & INFORMATION TECHNOLOGY (ICROIT 2014) | 2014年
关键词：
Model Checking; Temporal Logic; SPIN;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
This paper presents a practical application of a model checking for a Cash Machine System. The basic aspects of model checking are described and the concepts necessary for undertaking model checking are outlined. The Cash Machine System is described in Process Meta Language (PROMELA) and model checked using the SPIN tool.
引用
收藏
页码：258 / 261
页数：4
相关论文
共 50 条
  • [1] System Resource Utilization Analysis based on Model Checking Method
    Bang, Ki-Seok
    Jin, Hyun-Wook
    Chuck-Yoo
    Choi, Jin-Young
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2005, 29 (02): : 219 - 226
  • [2] LTL Model Checking Based on Binary Classification of Machine Learning
    Zhu, Weijun
    Wu, Huanmei
    Deng, Miaolei
    IEEE ACCESS, 2019, 7 : 135703 - 135719
  • [3] CTL Model Checking Based on Binary Classification of Machine Learning
    Zhu, Weijun
    Wu, Huanmei
    INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2022, 19 (02) : 249 - 260
  • [4] Model Checking Functional Integration of Human Cognition and Machine Reasoning
    Mercer, Eric
    Butler, Keith
    Bahrami, Ali
    SYSCON 2022: THE 16TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2022,
  • [5] Intrusion detection system evaluation model based on model checking
    Xu, Pengtao
    Zhu, Weijun
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCES IN MECHANICAL ENGINEERING AND INDUSTRIAL INFORMATICS (AMEII 2016), 2016, 73 : 723 - 727
  • [6] CTL Model Checking based on Probe Machine
    Zhu, Weijun
    Liu, Yichen
    Li, En
    PROCEEDINGS OF 2019 IEEE 10TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2019), 2019, : 518 - 522
  • [7] Model checking and verification of the Internet Payment System with SPIN
    Zhang, Wei
    Ma, Wen-ke
    Shi, Hui-ling
    Zhu, Fu-qiang
    Journal of Software, 2012, 7 (09) : 1941 - 1949
  • [8] Model checking of concurrent system with SDL-- specification
    Blaskevic, B
    Dembitz, S
    Knezevic, P
    MELECON 2000: INFORMATION TECHNOLOGY AND ELECTROTECHNOLOGY FOR THE MEDITERRANEAN COUNTRIES, VOLS 1-3, PROCEEDINGS, 2000, : 77 - 80
  • [9] αSPIN: A tool for abstract model checking
    María del Mar Gallardo
    Jesús Martínez
    Pedro Merino
    Ernesto Pimentel
    International Journal on Software Tools for Technology Transfer, 2004, 5 (2-3) : 165 - 184
  • [10] Temporal Logic Model Checking via Probe Machine
    Zhu, Weijun
    Li, En
    Yang, Xiaoyu
    PROCEEDINGS OF 2020 IEEE 4TH INFORMATION TECHNOLOGY, NETWORKING, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (ITNEC 2020), 2020, : 623 - 626
12345