PDL - mrsekut-p

PDL

PDLは「このプログラムの実行が終了したら真」などプログラムに依存した真偽を表現できる様相論理のです. プログラム検証を行う論理としてホーア論理というのがよく知られていますが, PDLはホーア論理と密接な関係があります. ref 『コンピュータサイエンスにおける様相論理』.icon p.i

なるほどわからnmrsekut.icon