プログラム検証とは？
ぷろぐらむけんしょう
数学的証明でプログラムの正しさを確かめること。
『プログラム検証』とは数学を使ってプログラムが正しく動くことを証明する難しくて大切な作業だよ。
つかいかた・れいぶん
COQという道具でソートが正しいことを数学的に証明できるよ。
このことばを シェア
さいごの こうしん: