Title :
Model checking of a Cash Machine System
Author :
Jindal, Vinita ; Carr, Mahil
Author_Institution :
Sch. of Comput. & Inf. Sci., Hyderabad Central Univ., Hyderabad, India
Abstract :
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.
Keywords :
banking; electronic money; formal verification; PROMELA; SPIN tool; cash machine system; model checking; process meta language; Online banking; Programming profession; Model Checking; SPIN; Temporal Logic;
Conference_Titel :
Optimization, Reliabilty, and Information Technology (ICROIT), 2014 International Conference on
Conference_Location :
Faridabad
Print_ISBN :
978-1-4799-3958-9
DOI :
10.1109/ICROIT.2014.6798325
