（コンピューター プログラムを数学的に証明するために使用 1） 形式的手法その指定された requirements.~(2) (1) 技術を適用した結果、証拠を満たしています。