Zhang Guang
Abstract
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.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Formal methods, Computer science, Programming language, Refinement, Formal verification, Formal specification, Model checking, Software engineering