時相論理とは？
じそうろんり
「いつか〜になる」「常に〜だ」など、時間の流れを扱う演算子を持つ論理体系だよ。
時相論理とは、「いつかは〜になる（F）」「ずっと〜だ（G）」「次の状態で〜（X）」のように、時間の変化を表す演算子を使った論理の体系だよ。コンピュータプログラムが「いつか終わる」「常に安全だ」などの性質を確かめるのに使われるよ。
つかいかた・れいぶん
「このプログラムはいつか必ず終わる（F 終了）」という性質を表すのが時相論理だよ。
このことばを シェア
さいごの こうしん: