描述
形式化软件规范、开发与验证的方法学。用于软件正确性的定理证明、自动推理和其他相关形式方法的使用。在程序验证与安全计算中的应用。
原文参考文本
Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification and secure computation.
来源与参考
为帮助您核实信息，保留了日期和来源。为便于阅读提供了翻译；以官方来源为准，查看条件和要求。
来源参考 : https://calendar.carleton.ca/grad/courses/COMP/