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