Open AccessFormal verification of automated teller machine systems using SPIN
Author(s) -
I. Iqbal,
Dieky Adzkiya,
Imam Mukhlash
Publication year - 2017
Publication title -
aip conference proceedings
Language(s) - English
Resource type - Conference proceedings
eISSN - 1551-7616
pISSN - 0094-243X
DOI - 10.1063/1.4994448
Subject(s) - promela , model checking , correctness , programming language , computer science , linear temporal logic , formal verification , abstract state machines , interpreter , computation tree logic , temporal logic , construct (python library) , formal methods , theoretical computer science , logic model , finite state machine , social science , sociology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom