1. Z specification Falguni Roy 1 2. What is Z ??? is a formal specification language used for describing and modelling computing systems based on the standard…