軟件形式化方法概述

                       友情提示：本文理論性和專業性較強，如果木有接觸過該領域，讀起來可能會有一點點吃力，！本文是Sunny結合多份資料綜合整理而成，有點凌亂，見諒！          軟件形式化方法(Formal Method)在軟件開發中一直都受到多方面的爭議。持肯定態度的擁護者認爲形式化方法會引起軟件開發的革命，另一些持否定態度者則懷疑甚至反對將數學引入軟件開發過程中。

>>阅读原文<<