Verification Support Device, A Verification Suppor

专利名称：Verification Support Device, A Verification

Support Method, A Program, and aRecording Medium Recording MediumRecorded With the Program On It

发明人：Michihiro Matsumoto,Naohito Yamashita申请号：US11918070申请日：20060327

公开号：US20090217094A1公开日：20090827

专利附图：

摘要：A verification support device that supports verification of a changed state by

using changed state data and relating data. The verification support device includes astate with an abnormal condition generating unit adds the abnormal condition to thechanged state thereby generating a changes state with an abnormal condition. Theverification device also includes an abnormal condition inspection unit that inspectswhether the abnormal data may reach the changed state based on the generatedchanged state with the abnormal condition and the relating data.

申请人：Michihiro Matsumoto,Naohito Yamashita

地址：Fukuoka-shi JP,Fukuoka-shi JP

国籍：JP,JP

更多信息请下载全文后查看