Formal Specification provides mathematical specification; specification of programming languages; formal specification using diagrams; two rules; example Z specification language, algorithm; finite state machine; state transition diagram; state transition table; Z specification and some thing else. | .