課程說明
正式軟體規格、開發與驗證的方法論。使用定理證明、自動推理及其他相關形式方法以確保軟體正確性。於程式驗證與安全運算之應用。
原文參考文本
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/