Verification
Verification(
検証
)
Verificationは記述内容に論理的な矛盾など、何らかの観点からの不整合があるか否かを確認すること
ref:
『ソフトウェア工学の道具としての形式手法 Formal Methods as Software Engineering Tools』
形式検証(formal verification)については
→
形式検証
自動証明
関連
妥当性検証
(
Validation
)
確認用
Q. Verification
参考
『ソフトウェア工学の道具としての形式手法 Formal Methods as Software Engineering Tools』
関連
調査用
/pogi-log/Google.icon
Verification
/pogi-log/Wikipedia.icon
Verification - Wikipedia(日)
Verification(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Verification - Wikipedia(英)
Verification(検索) - Wikipedia(英)