形式化方法：修订间差异

'''形式化方法'''，中文也称'''形式方法'''<ref>{{cite web |title=formal method - 形式方法 |url=http://terms.naer.edu.tw/search/?q=formal+method |publisher=台湾“国家教育研究院”|work=双语词彙、学术名词暨辞书资讯网|accessdate=2020-09-05}}</ref>、'''正规方法'''<ref>{{Cite web |url=http://www.iicm.org.tw/communication/c2_1/page07.html |title=IEEE第四届国际复杂系统工程研讨会 |author=郭大维 |publisher=台湾中正大学资讯工程学系 |accessdate=2013-12-28 |||}}</ref>。在[[计算机科学]]和[[软件工程]]领域，'''形式化方法'''是基于[[数学]]的特种[[技术]]，适合于[[软件]]和[[硬件]]系统的[[描述]]、[[开发]]和[[验证]]<ref name="butler">{{cite web |author=R. W. Butler |title=What is Formal Methods? |url=http://shemesh.larc.nasa.gov/fm/fm-what.html |date=2001-08-06 |accessdate=2006-11-16 |||}}</ref>。将[[形式化]]方法用于软件和硬件设计，是期望能够像其它[[工程学科]]一样，使用适当的[[数学分析]]以提高[[设计]]的[[可靠性 (计算机网絡)|可靠性]]和[[健壮性 (计算机科学)|强健性]]<ref>{{cite paper |author=C. Michael Holloway |title=Why Engineers Should Consider Formal Methods |url=http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf |publisher=16th Digital Avionics Systems Conference (27-30 October 1997) |accessdate=2006-11-16 |||}}</ref>。但是，由于采用形式化方法的[[成本]]高意味着它们通常只用于开发注重[[安全性]]的高度整合的[[系统]]<ref>{{cite paper |author= M. Archer, C. Heitmeyer and E. Riccobene |title= Proving invariants of I/O automata with TAME|publisher= Automated Software Engineering, 9, 201-232 (2002)}}</ref>。