形式化方法 ■形式化方法是指为说明和验证复杂计算机系 统所采用的基于数学的语言、技术和工具 ■形式化方法不能确保系统的可靠性,但其可 以通过揭示系统的不一致性、歧义性和不完 备性来增加我们对系统的理解程度,从而提 高我们对系统可靠性的可信度。形式化方法 ◼ 形式化方法是指为说明和验证复杂计算机系 统所采用的基于数学的语言、技术和工具。 ◼ 形式化方法不能确保系统的可靠性，但其可 以通过揭示系统的不一致性、歧义性和不完 备性来增加我们对系统的理解程度，从而提 高我们对系统可靠性的可信度