DocumentCode
126800
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
fYear
2014
fDate
6-8 Feb. 2014
Firstpage
258
Lastpage
261
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Optimization, Reliabilty, and Information Technology (ICROIT), 2014 International Conference on
Conference_Location
Faridabad
Print_ISBN
978-1-4799-3958-9
Type
conf
DOI
10.1109/ICROIT.2014.6798325
Filename
6798325
Link To Document