The role of formal methods in today's software industry

This is a theoretical as well as practical demonstration of the role of formal methods (i.e., mathematical system specification and design) in system design and development for critical systems such as air traffic control, nuclear plant monitors and space science. Softwares specified and designed mathematically do prevent much of the errors in softwares that result from using non-mathematical methods. Critical systems involve human life and high value assets and software errors can have serious consequences. In this respect, this work contributes towards using more anf more formal/mathematical methods by the software industry.