公开/公告号CN100405324C
专利类型发明授权
公开/公告日2008-07-23
原文格式PDF
申请/专利权人 中国科学院计算技术研究所;
申请/专利号CN200610078226.9
申请日2006-05-12
分类号G06F11/36(20060101);
代理机构11280 北京泛华伟业知识产权代理有限公司;
代理人高存秀
地址 100080 北京市海淀区中关村科学院南路6号
入库时间 2022-08-23 09:00:48
法律状态公告日
法律状态信息
法律状态
2015-04-22
专利实施许可合同备案的生效 IPC(主分类):G06F 11/36 合同备案号:2015990000066 让与人:中国科学院计算技术研究所 受让人:龙芯中科技术有限公司 发明名称:在微处理器用户态随机验证中实现核心态程序验证的方法 申请公布日:20070110 授权公告日:20080723 许可种类:普通许可 备案日期:20150211 申请日:20060512
专利实施许可合同备案的生效、变更及注销
2015-03-18
专利实施许可合同备案的注销 IPC(主分类):G06F 11/36 合同备案号:2010990000062 让与人:中国科学院计算技术研究所 受让人:龙芯中科技术有限公司 解除日:20141231 申请日:20060512
专利实施许可合同备案的生效、变更及注销
2015-03-18
专利实施许可合同备案的变更 IPC(主分类):G06F 11/36 合同备案号:2010990000062 变更日:20141231 变更前: 变更后: 申请日:20060512
专利实施许可合同备案的生效、变更及注销
2010-03-31
专利实施许可合同的备案 合同备案号:2010990000062 让与人:中国科学院计算技术研究所 受让人:北京龙芯中科技术服务中心有限公司 发明名称:在微处理器用户态随机验证中实现核心态程序验证的方法 授权公告日:20080723 许可种类:排他许可 备案日期:2010.1.28 合同履行期限:2009.12.16至2028.12.31合同变更 申请日:20060512
专利实施许可合同的备案
2008-07-23
授权
授权
2007-03-07
实质审查的生效
实质审查的生效
2007-01-10
公开
公开
查看全部
机译: 程序验证装置,程序验证方法,用于程序验证的计算机程序,程序转换器,程序转换方法,用于程序转换的计算机程序,程序制造方法和用于验证的程序
机译: 程序验证装置,程序验证方法,用于程序验证的计算机程序,程序转换器,程序转换方法,用于程序转换的计算机程序,程序制造方法和用于验证的程序
机译: 程序验证系统,程序验证方法以及用于存储该程序验证方法的软件的存储介质