妥当性検証
形式手法などの一般的？な文脈での意味
記述内容が意図通りであるかを調べる
記述内容に論理的な矛盾など、何らかの観点からの不整合があるか否かを確認すること
書いてある内容が間違ってないかを検証する
間違っているというのは、ある対象が正しいか(妥当か)を検証したときに何かしらの推論規則を適用して期待した範囲での導出ができない感じ？ Webの文脈
フォームなどに入力された文字列が妥当かどうか検証するやつはバリデーションと英語の方でよく言われる
確認用
Q. 妥当性検証
Q. 妥当性
Q. 検証
参考
関連
メモ