プログラムを証明するには？

プログラムを証明するには？ (26ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

9(1): 03/08(土)10:19 ID:lUzSDHir(1) AAS
たとえばFizzBuzzのプログラムが「正しい」ことはどうやって証明するのか
入力が固定なら、出力を正解と差分比較すればいいが

14: 03/08(土)12:20 ID:0f9oMeD6(1) AAS
>>9
自然数が

・3の倍数だが5の倍数ではない
・5の倍数だが3の倍数ではない
・3の倍数かつ5の倍数
・それ以外

の無縁和に分かれることの証明を表現する
省3