形式化方法，中文也称形式方法[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.
Remove ads