Date Added: May 2011
In this paper the authors propose the Formal Verification of existing models like in banking sector i.e. ATM Transaction through biometric (Finger Print) with the help of Real Time Constraint Notation. Finger print recognition is most popular and commonest method of using the biometrics. In the finger print technology, the uniqueness of epidermis of fingers is utilized for identification of user. The user has to keep its finger on a sensory pad, which reads the ridges of epidermis of finger and try to match it with available data of the finger with the bank. Sequence Diagrams (SDs), Finite State Machine (FSM) have proven useful for describing transaction-oriented systems, and can form a basis for creating state charts.