エンベデッドシステムスペシャリスト 2021年 秋期 問22

プログラム実行中の特定の時点で成立していなければならない変数間の関係や条件 を記述した論理式を埋め込んで、その論理式が成立していることを確認することによ って、プログラムの処理の正当性を動的に検証する手法はどれか。