估计形式验证问题的难度级

摘要

估计形式验证问题的难度级。对验证问题的难度级的估计包括以下步骤：接收输入，该输入包括设计和可以被验证的关于该设计的性质。针对关于该设计的每个性质执行验证处理。根据所述验证处理，针对每个性质建立性质可验证性量度值，其中性质可验证性量度值表示对关于设计的性质进行验证的难度级。根据所述多个性质可验证性量度值来确定设计可验证性量度值，其中，所述设计可验证性量度值表示对所述设计进行验证的难度级。