Study of Formalized Method and Software Reliability
Shizheng Zhang · Journal of Inner Mongolia University for the Nationalities · 2010
Formal methods is based on mathematical representation. Its significance lies in its ability to help find the inconsistencies,unclearness and incompleteness of systematical description that can not be easily found by other methods. It helps for the software developers to increase the understanding of the system. So formal method is the means of improving the software system,especially the safety-critical system's security and reliability.