形式化方法，中文也稱形式方法[1]、正規方法[2]。在計算機科學和軟件工程領域，形式化方法是基於數學的特種技術，適合於軟件和硬件系統的描述、開發和驗證[3]。將形式化方法用於軟件和硬件設計，是期望能夠像其它工程學科一樣，使用適當的數學分析以提高設計的可靠性和強健性[4]。但是，由於採用形式化方法的成本高意味着它們通常只用於開發注重安全性的高度整合的系統[5]。
 | 此條目可參照英語維基百科相應條目來擴充。 (2019年10月19日) |
參考文獻
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
