ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
全域正当性; 全正当性
プログラムの正当性の問題において,プログラムpが,入力表明φを満たすすべての入力について停止し,かつそのとき出力表明ψが満たされるなら,pは表明φとψに関して全(域)正当であるという.プログラムの停止性と部分正当性を合わせた概念.プログラムの出力表明がその入力表明及び処理段階から論理的に導き出され,かつ指定した全入力条件の下でそのプログラムが終了することを示す正当性証明
total correctness
