システムアーキテクト 2019年 秋期 問8

プログラム実行中の特定の時点で成立すべき変数間の関係や条件を記述した論理 式を埋め込んで、そのプログラムの正当性を検証する手法はどれか。