演繹的プログラム合成

プログラムの演繹的合成

形式的仕様から論理的演繹ルールを使用して事前条件と事後条件を実行可能コードに変換することで、プログラムを自動生成する手法。

← 戻る