形式驗證

在計算機硬件 （ 特別是集成電路 ） 和軟件系統的設計過程中 ， 形式驗證的含義是根據某個或某些形式規範或屬性 ， 使用數學的方法證明其正確性或非正確性 。