Verification - pogi-log

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(英)