The use of formal specification in software development is becoming increasingly prevalent. The ideal of producing software which is provably correct with respect to a formal specification, is very attractive, One of the major advantages of using a formal language like Z is that it is possible to reason about the specifications written in it.
展开▼