软件形式化方法概述

                       友情提示：本文理论性和专业性较强，如果木有接触过该领域，读起来可能会有一点点吃力，！本文是Sunny结合多份资料综合整理而成，有点凌乱，见谅！          软件形式化方法(Formal Method)在软件开发中一直都受到多方面的争议。持肯定态度的拥护者认为形式化方法会引起软件开发的革命，另一些持否定态度者则怀疑甚至反对将数学引入软件开发过程中。

>>阅读原文<<