演繹的プログラム合成

フロイドの方法

構造化されたプログラムの正しさを証明するためにアサーションと不変量を使用するプログラム検証の先駆的な技術であり、現代の方法の先駆け。

← 戻る