時相論理式作成支援システム、時相論理式作成支援方法及び時相論理式作成支援用プログラム

発明者：
出願人/特許権者：
代理人 (1件)：高橋勇
公報種別：特許公報
出願番号（国際出願番号）：特願2008-328287
公開番号（公開出願番号）：特開2010-152528
特許番号：特許第5365182号
出願日： 2008年12月24日
公開日（公表日）： 2010年07月08日
請求項（抜粋）：

【請求項1】時相論理式を構成する述語における真偽値の系列の例である真偽例情報を入力する真偽例情報入力手段と、 1以上の前記時相論理式を記憶した時相論理式情報記憶手段と、前記真偽例情報入力手段にて入力された真偽例情報が前記時相論理式情報記憶手段に記憶された前記時相論理式を満たすかどうかを判定する時相論理式判定手段と、前記時相論理式判定手段において前記真偽例情報と一致すると判定された1以上の前記時相論理式を表示情報として作成して表示する手段と、を含むことを特徴とする時相論理式作成支援システム。

IPC (2件)：