Study selection strategy of software formal method
Peng Chen · Electronic Design Engineering · 2014
With the continuous development of software formal method, Formal methods for various feature emerged. In order to solve the problem of how to select the appropriate formal methods in system development in the concrete. This paper contains several formal methods RSL, B, VDM, Z at present more popular. And their characteristics are analyzed, Then according to different software developers and the development system. The method developed by form and how to choose the formal development method suitable.