Please answer all parts.

Course: Formal Methods

1. Write Z specification for a Banking System according to the requirements given below: a) There are two types of accounts, i.e., Current account and Savings account. b) Savings account requires minimum balance of 5000 rupees, but Current account does not require any minimum balance. c) Each account can have only one account holder, however, an account holder can have more than one accounts. d) Following operations are permitted on each account: 1) Create account:- Creation of a new account 2) Close account:- Closure (deletion) of an account 3) Withdraw cash:- Savings accounts have cash withdrawal limit of 10000 rupees per transaction whereas Current account does not have any limit 4) Deposit cash:- Any amount of cash may be deposited 1. Write Z specification for a Banking System according to the requirements given below: a) There are two types of accounts, i.e., Current account and Savings account. b) Savings account requires minimum balance of 5000 rupees, but Current account does not require any minimum balance. c) Each account can have only one account holder, however, an account holder can have more than one accounts. d) Following operations are permitted on each account: 1) Create account:- Creation of a new account 2) Close account:- Closure (deletion) of an account 3) Withdraw cash:- Savings accounts have cash withdrawal limit of 10000 rupees per transaction whereas Current account does not have any limit 4) Deposit cash:- Any amount of cash may be deposited