形式驗證維基百科,自由的 encyclopedia 在電腦硬件(特別是集成電路)和軟件系統的設計過程中,形式驗證的含義是根據某個或某些形式規範或屬性,使用數學的方法證明其正確性或非正確性。 此條目沒有列出任何參考或來源。 (2014年1月12日)