Don’t Test, Verify. | 哪個故事真正符合你對形式化驗證的想象？

從誕生至今，形式化驗證（Formal Verification）方法一直與「小衆、冷門」等字眼掛鉤。有人說形式化驗證方法是一種「軍用級別」的防黑客手段，更是爲這項技術增添了一絲神祕感。 究竟什麼是形式化驗證方法？ 維基百科對形式化驗證的解釋是這樣的： 在計算機硬件（特別是集成電路）和軟件系統的設計過程中，形式化驗證的含義是根據某個或某些形式化規範或屬性，使用數學的方法證明其正確性或非正確性。 神祕

>>阅读原文<<