形式化方法

对于软件工程而言，形式化方法是基于数学很特别的一种技术，适用于对软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。
根据说明目标软件系统的方式，形式化方法可以分为两类：
（1）面向模型的形式化方法。面向模型的方法通过构造一个数学模型来说明系统的行为。
（2）面向属性的形式化方法。面向属性的方法通过描述目标软件系统的各种属性来间接定义系统行为。