什么是形式化方法

形式化方法的本质是基于数学的方法来描述目标软件系统属性的一种技术，形式化方法可以被分为两类，一种是面向模型的形式化方法。面向模型的方法通过构造一个数学模型来说明系统的行为。另外一种是面向属性的形式化方法。面向属性的方法通过描述目标软件系统的各种属性来间接定义系统行为。根据表达能力，又可以分为五种，基于模型的方法，基于逻辑的方法，代数方法，进程代数方法，和基于网络的方法。