COMP3153 COMP9153 Algorithmic Verification
概述 通过标准的软件工程实践，如代码审查、系统测试和良好的软件设计，单凭这些是几乎不可能保证系统的正确性和不存在漏洞的。形式方法社区已经发展出了各种严格的、数学上可靠的技术和工具，可以进行系统和软件的自动分析。这些完全自动的技术通常被称为算法验证。该课程将介绍几种自动验证技术，它们所基于的算法以及支持它们的工具。我们将讨论这些技术所应用的示例，并提供对多个工具的使用经验。
报名条件 先修课程：MATH1081
COMP3153 COMP9153 Algorithmic Verification
概述 通过标准的软件工程实践，如代码审查、系统测试和良好的软件设计，单凭这些是几乎不可能保证系统的正确性和不存在漏洞的。形式方法社区已经发展出了各种严格的、数学上可靠的技术和工具，可以进行系统和软件的自动分析。这些完全自动的技术通常被称为算法验证。该课程将介绍几种自动验证技术，它们所基于的算法以及支持它们的工具。我们将讨论这些技术所应用的示例，并提供对多个工具的使用经验。
报名条件 先修课程：MATH1081