A Survey on Formal Specification and Verification of System-Level Achievements in Industrial Circles
Feng Zhang, Wensheng Niu · Academic Journal of Computing & Information Science · 2019
Formal methods have been applied more and more in industrial circles. They use mathematical logic and rigorous models for analysis and verification, can be used at all the system life cycles, and provide verified software without bugs with respect to certain properties. The increasing industrial applications show that formal methods not only are theoretical research anymore, but also can be deployed in many concrete industrial applications. This paper surveys the important formal specification and verification of system-Level achievements in industrial circles.