分類:形式方法

形式方法是基於計算機的系統的軟件開發的需求、規格、設計、編程和實現的數學方法。它們和數理邏輯關係密切，形成了支撐軟件工程的計算理論，特別是關於安全的部分。形式方法對軟件測試也有幫助，因為它為測試給出了框架並能避免一些錯誤。它往往需要工具支持才能用於實際應用。

維基共享資源上的相關多媒體資源：形式方法