Knowledge Network Node

Overview of Formal MethodsChinese Full Text

WANG Ji;ZHAN Nai-Jun;FENG Xin-Yu;LIU Zhi-Ming;School of Computer,National Univerisity of Defense Technology;State Key Laboratory for High Performance Computing(National Univerisity of Defense Technology);Institute of Software,Chinese Academy of Science;Science & Technology on Integrated Information System Laboratory Institute of Software,Chinese Academy of Science;Department of Computer Science and Technology, Nanjing University;State Key Laboratory for Novel Software Technology(Nanjing University);School of Computer and Information Science, Southwest University;Software Research and Innovation Center, Southwest University;

Abstract: Formal methods are techniques with mathematical foundations for specifying, developing, and verifying computer software and hardware systems. Their mathematical foundations lie in formal logic systems, consisting of formal languages, semantics, and proof systems. Formal methods have been increasingly applied in different stages of the lifecycle of a computing system with appropriate levels of rigor. This paper reviews the historic development of formal methods. Focusing on specification and verification, the paper discusses and introduces the state-of-the-art mainstream formal methods in details, including their theories, techniques, tools, and applications. It is also shown that the relation between formal methods and other fields of computer science. Finally, the opportunities, trends, and challenges of formal methods are forseen. Formal methods have made significant progresses and played crucial roles to guarantee the safety and security of computing systems. Now software is becoming a fundamental infrastructure, it is believed that formal methods will gain much wider applications, especially when they are used in combination with other theories and methods such as those in artificial intelligence, cyber security, quantum computing, and bioinformatics. Research to achieving such seamless combinations is, however, both challenging and important.
  • DOI:

    10.13328/j.cnki.jos.005652

  • Series:

  • Subject:

  • Classification Code:

    TP311.5

  • Mobile Reading
    Read on your phone instantly
    Step 1

    Scan QR Codes

    "Mobile CNKI-CNKI Express" App

    Step 2

    Open“CNKI Express”

    and click the scan icon in the upper left corner of the homepage.

    Step 3

    Scan QR Codes

    Read this article on your phone.

  • CAJ Download
  • PDF Download

Download the mobile appuse the app to scan this coderead the article.

Tips: Please download CAJViewer to view CAJ format full text.

Download: 1921 Page: 33-61 Pagecount: 29 Size: 2204K

Related Literature
  • Similar Article
  • Reader Recommendation
  • Associated Author