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

Inventor：
Applicant, Patent owner：
Agent (1)：高橋勇
Gazette classification：特許公報
Application number (International application number)：2008328287
Publication number (International publication number)：2010152528
Patent number：5365182
Application date： Dec. 24, 2008
Publication date： Jul. 08, 2010
Claim (excerpt)：

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

IPC (2)：

G06N 5/04 ( 200 6.01) , G06F 9/44 ( 200 6.01)

FI (3)：

G06N 5/04 550 Q , G06F 9/06 620 A , G06N 5/04 580 J

Patent cited by the Patent：

Cited by applicant (2)

検証処理装置
Gazette classification：公開公報 Application number：特願2006-249419 Applicant：日本電気株式会社
プロパティ記述のカバレッジ測定装置及びプログラム
Gazette classification：公開公報 Application number：特願2008-070323 Applicant：株式会社東芝

Cited by examiner (2)

検証処理装置
Gazette classification：公開公報 Application number：特願2006-249419 Applicant：日本電気株式会社
プロパティ記述のカバレッジ測定装置及びプログラム
Gazette classification：公開公報 Application number：特願2008-070323 Applicant：株式会社東芝

Article cited by the Patent：

Cited by applicant (4)

Show all

Cited by examiner (4)

Show all

Return to Previous Page