公开/公告号CN110988661A
专利类型发明专利
公开/公告日2020-04-10
原文格式PDF
申请/专利权人 思尔芯(上海)信息科技有限公司;
申请/专利号CN201911247014.2
申请日2019-12-09
分类号
代理机构上海申汇专利代理有限公司;
代理人徐俊
地址 200120 上海市浦东新区中国(上海)自由贸易试验区郭守敬路351号2号楼660-12室
入库时间 2023-12-17 08:30:07
法律状态公告日
法律状态信息
法律状态
2020-05-05
实质审查的生效 IPC(主分类):G01R31/317 申请日:20191209
实质审查的生效
2020-04-10
公开
公开
机译: 提供程序分析/验证服务的系统,控制系统的方法,计算机可读存储介质,用于程序分析/验证的设备,用于控制程序分析/验证的设备
机译: 服务交付系统分析/验证程序,这种系统的控制方法,计算机可读存储介质,用于分析/验证程序的设备,用于控制分析/验证程序的装置的设备
机译: 程序分析/验证服务提供系统,其控制方法,计算机可读非暂时性存储介质,程序分析/验证设备,程序分析/验证工具管理设备