公开/公告号CN105408872B
专利类型发明专利
公开/公告日2017-11-24
原文格式PDF
申请/专利权人 株式会社日立制作所;
申请/专利号CN201380078502.X
申请日2013-08-28
分类号
代理机构北京银龙知识产权代理有限公司;
代理人范胜杰
地址 日本东京都
入库时间 2022-08-23 10:03:24
法律状态公告日
法律状态信息
法律状态
2017-11-24
授权
授权
2016-04-13
实质审查的生效 IPC(主分类):G06F 11/36 申请日:20130828
实质审查的生效
2016-04-13
实质审查的生效 IPC(主分类):G06F 11/36 申请日:20130828
实质审查的生效
2016-03-16
公开
公开
2016-03-16
公开
公开
机译: 源代码验证系统,源代码验证方法和源代码验证程序
机译: 源代码等价验证装置和源代码等价验证方法
机译: 源代码等效验证装置和源代码等效验证方法