基于融合模型的形式化验证 形式化验证的基本思想是构造一个系统的形式化（数学的）模型，该模型标识 系统所有可能的行为。另外，所需验证的性质以描述系统行为的形式化规范来 表示。在这两个规范的基础上，可以用形式化方式证明系统可能的行为是否与 预期的行为一致。 通过形式化验证，可以从逻辑分析的角度验证系统的合理性及可行性，保证实 时系统是安全而稳定的。基于融合模型的形式化验证 形式化验证的基本思想是构造一个系统的形式化（数学的）模型，该模型标识 系统所有可能的行为。另外，所需验证的性质以描述系统行为的形式化规范来 表示。在这两个规范的基础上，可以用形式化方式证明系统可能的行为是否与 预期的行为一致。 通过形式化验证，可以从逻辑分析的角度验证系统的合理性及可行性，保证实 时系统是安全而稳定的