[发明专利]估计形式验证问题的难度级有效
| 申请号： | 200610105943.6 | 申请日： | 2006-07-19 |
| 公开（公告）号： | CN1900937A | 公开（公告）日： | 2007-01-24 |
| 发明（设计）人： | 因德拉迪普·高希;穆库尔·R·普拉萨德 | 申请（专利权）人： | 富士通株式会社 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京三友知识产权代理有限公司 | 代理人： | 黄纶伟;迟军 |
| 地址： | 日本神奈*** | 国省代码： | 日本;JP |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 估计形式验证问题的难度级。对验证问题的难度级的估计包括以下步骤：接收输入，该输入包括设计和可以被验证的关于该设计的性质。针对关于该设计的每个性质执行验证处理。根据所述验证处理，针对每个性质建立性质可验证性量度值，其中性质可验证性量度值表示对关于设计的性质进行验证的难度级。根据所述多个性质可验证性量度值来确定设计可验证性量度值，其中，所述设计可验证性量度值表示对所述设计进行验证的难度级。 | ||
| 搜索关键词： | 估计 形式 验证 问题 难度 | ||
【主权项】：
1、一种用于估计验证问题的难度级的方法，其包括以下步骤：接收包括设计和一组性质的输入，所述性质组中的性质可操作以针对所述设计而被验证；针对所述性质组中的每个性质重复以下步骤：对关于所述设计的所述每个性质执行多个验证处理；和根据所述多个验证处理，针对所述每个性质建立性质可验证性量度值，所述性质可验证性量度值表示对关于所述设计的所述每个性质进行验证的难度级；以及根据所述性质组的所述性质可验证性量度值确定设计可验证性量度值，所述设计可验证性量度值表示对关于所述设计的所述性质组进行验证的难度级。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于富士通株式会社，未经富士通株式会社许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200610105943.6/，转载请声明来源钻瓜专利网。
