>>238
逆だよ

実行バイナリ
構造が失われて最適化がされていて数学的証明は困難

構造を保ったままの中間表現もしくはソースコード
数学的証明に適する

どちらも実行することで実行テスト検証は可能