形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。

在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。

个人理解，形式化方法就是用数学的方法来解决软件工程方面的问题，用来建立精确的数学模型 ，比如，如果一个形式语言的元素数目是有限的，那么可以通过枚举它的各个字串来严格地定义它。

难过关于形式化方法：悲观者的角度难过
形式化方法是为数学家准备的
形式化方法仅供从事形式化研究的人使用
从事形式化研究的人仅使用形式化方法
形式化方法的运用将延缓软件开发进度
形式化方法的运用将提高软件开发成本
形式化方法仅应用于开发安全要求极高的系统
形式化方法仅被用于无关紧要的系统，且缺少工具支持

微笑关于形式化方法：乐观者的角度微笑
运用形式化方法将开发出完美的软件
形式化方法可以替换传统的软件工程方法

https://blog.csdn.net/qq_44017078/article/details/109138315