Write simple Z specifications that describe some of the topl

Write simple Z specifications that describe some of the top-level operations of a bank autoteller machine, including the operations:

(a) RequestBalance to enquire about the user’s current bank balance

Solution

1) enter your card.your details will be automatically fed to the auto teller machine

2)enter your pin or secret 4 digit number

3)select the bank balance enquiry options from the list of options avalaible

4)balance will be displayed.