【背景】新南威尔士大学计算机科学硕士

【需求】新南威尔士大学COMP9153考试辅导

【情况】COMP9153课程考前辅导，主要是根据课件内容讲，需要老师提供搭配对应的常考题型，穿插PPT内知识点进行讲解

【COMP9153课程内容】

CLO1：开发适用于自动验证的软件系统形式化模型。

CLO2：制定软件系统的形式化需求，以便进行自动验证。

CLO3：比较和对比自动验证中使用的不同算法。

CLO4：评估多种验证工具在各种自动验证任务中的可行性。

【新南威尔士大学相关可辅导课程】

ACTL5301量风险管理技术

ACTL5302风险与资本管理

MATH5165优化

BINF9020计算生物信息学

COMP6714信息检索和 Web 搜索

COMP9021编程原理

COMP9024数据结构和算法

COMP9044软件构建: 技术和工具

COMP9153算法验证

COMP9311数据库系统

COMP9313大数据管理

COMP9417机器学习和数据挖掘