什么是形式化方法

在我看来，形式化方法是一种基于数学来描述系统性质的技术。这种方法适合于用在软件和硬件系统的描述，开发，以及验证。使用这种方法能够更加准确的描述不同对象之间的逻辑关系，能够提高设计的可靠性。它是保证设计正确性的一条重要途径，它也逐渐融入了软件开发的各个阶段，从需求系统分析，功能描述，设计，编程，测试直至维护。

形式化方法可分为两类：面向模型的形式化方法和面向属性的形式化方法。面向模型的形式方法通过构造一个数学模型来说明系统的行为，面向属性的形式方法通过描述目标软件系统的各个属性来间接定义系统行为。