説明
形式的ソフトウェア仕様、開発および検証の方法論。定理証明、自動推論およびその他の関連する形式手法を用いたソフトウェアの正当性の検証。プログラム検証および安全な計算への応用。
原語による参照テキスト
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/