什么是形式化方法？

什么是形式化方法？

形式化方法
定义
用于开发计算机系统的形式化方法是描述系统性质的基于数学的技术，它提供了一个框架，可以在框架中以系统而不特别的方式刻划、开发和验证系统。形式化方法的本质是基于数学的方法来描述目标系统属性的一种技术。
分类
形式化方法分为两类：面向模型的形式化方法和面向属性的形式化方法。
总结
从广义上讲，形式化方法是借助数学的方法来解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的说，它是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。形式化建模包含了一组定义及其语法语义的形式化规则。