Model checking of a Cash Machine System
Vartika Jindal, Mahil Carr · 2014
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.