法律状态公告日
法律状态信息
法律状态
2019-12-03
实质审查的生效 IPC(主分类):G16H70/40 申请日:20190618
实质审查的生效
2019-11-08
公开
公开
机译: 提供程序分析/验证服务的系统,控制系统的方法,计算机可读存储介质,用于程序分析/验证的设备,用于控制程序分析/验证的设备
机译: 服务交付系统分析/验证程序,这种系统的控制方法,计算机可读存储介质,用于分析/验证程序的设备,用于控制分析/验证程序的装置的设备
机译: 程序分析/验证服务提供系统,其控制方法,计算机可读非暂时性存储介质,程序分析/验证设备,程序分析/验证工具管理设备