特許

J-GLOBAL ID：200903003462933937

連動装置の検証方法およびその装置

発明者： 川村 正
出願人/特許権者： 三菱電機株式会社
代理人 (1件)： 宮田 金雄 (外3名)
公報種別：公開公報
出願番号（国際出願番号）：特願平8-176474
公開番号（公開出願番号）：特開平10-016776
出願日： 1996年07月05日
公開日（公表日）： 1998年01月20日
要約：

【要約】【課題】 連動装置の設計の検証において必要な労力や時間を軽減する。【解決手段】 連動装置の設計記述と連動装置に対する要求仕様の記述とをそれぞれ拘束条件を表現する形式的言語に変換する変換器2と、上記変換器2により変換された2つの形式的言語記述の等価性を証明する形式的検証器3と、上記証明の結果を出力する検証結果出力手段4とで連動装置の検証装置を構成する。

請求項（抜粋）：

連動装置の設計記述と連動装置に対する要求仕様の記述とをそれぞれ拘束条件を表現する形式的言語に変換する変換器と、上記変換器により変換された2つの形式的言語記述の等価性を証明する形式的検証器と、上記証明の結果を出力する検証結果出力手段とを備えた連動装置の検証装置。