時相論理
出典: くみこみックス
版間での差分
M (1 版) |
2009年3月13日 (金) 07:38の版
時相論理【Temporal Logic】
動作シーケンスを表現できるように時間の概念を追加した論理体系．時間軸上の関係を表現するために拡張された論理体系である．「いつも成り立つ」，「いつか成り立つ」，「次の時刻に成り立つ」などの概念を表現する演算子が用意されている．
【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．
