专利内容由知识产权出版社提供
专利名称：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
更多信息请下载全文后查看
