Formal Specification Concepts in Critical Analysis
Prakash S. Teltumde, PawanKumar I. Patil, Vishal R. Ambhire, M. Tech · 2011
With the growing significance of computer systems within industry and wider society, techniques that assist in the production of reliable software are becoming increasingly important. The complexity of many computer systems requires the application of a battery of such techniques. One of the most promising approaches are formal methods. The paper gives an idea of formal specification and use of Z. It also contains use of formal specification in critical system may be in air traffic control, prevent mobile attacks. Also case study have been explained in detail .This paper describes the conceptual and formal models.