Slide 1Saima Zareen Slide 2 Formal Specification of a System Formal Specification describes the System behavior Operations of system Problem with formal specification is…