首页 产品 黄页 商标 征信
会员服务 注册 登录 
全部
 |
企业名
 |
法人/股东/高管
 |
品牌/产品
 |
地址
 |
经营范围
发明名称 SOFTWARE VERIFICATION
摘要 A system and method is disclosed for formal verification of software programs that advantageously improves performance of an abstraction-refinement loop in the verification system.
申请公布号 US2006282807(A1) 申请公布日期 2006.12.14
申请号 US20060422069 申请日期 2006.06.03
申请人 NEC LABORATORIES AMERICA, INC. 发明人 IVANCIC FRANJO;GUPTA AARTI;GANAI MALAY;JAIN HIMANSHU
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址
您可能感兴趣的专利
©  2024 传众  czvv.com