Formal Methods for Software
Zhang Guang · 2002
This paper presents the definition and importance of formal methods after simply looking back on the history of formal methods, and provides an overview of formal methods. The author mainly discusses specification languages (methods) and verification methods that include deductive proving and model checking.