支付宝申请推断循环界限方法和设备专利，实现循环界限推断自动化
创始人
2025-07-02 14:18:15
0次
金融界2025年7月2日消息，国家知识产权局信息显示，支付宝（杭州）信息技术有限公司申请一项名为“推断循环界限的方法和设备”的专利，公开号CN120234228A，申请日期为2025年03月。
专利摘要显示，本说明书提供的推断循环界限的方法和设备，获得包括循环单元的目标代码，并利用有界模型检验工具按照预设的第一展开次数对循环单元进行展开检验，以确定循环单元在第一展开次数下是否能够完全展开。在不能完全展开的情况下，获得有界模型检验工具生成的反例，并将第一展开次数和反例提供给大模型，以通过大模型自动推断出循环单元的循环界限，其中的反例表征从目标代码的执行入口到循环单元之间的执行路径，从而实现了循环界限推断的自动化，减少了对人工干预的需求。而且，利用反例来指导大模型推断循环界限，大模型可以从反例中提取很多关键信息，因此能够提升推断循环界限的准确性。
天眼查资料显示，支付宝（杭州）信息技术有限公司，成立于2016年，位于杭州市，是一家以从事互联网和相关服务为主的企业。企业注册资本10000万人民币。通过天眼查大数据分析，支付宝（杭州）信息技术有限公司共对外投资了12家企业，参与招投标项目47次，财产线索方面有商标信息1条，专利信息5000条，此外企业还拥有行政许可58个。
来源：金融界
相关内容
热门资讯
民生银行（01988.HK）：...
证券之星消息，1月23日南向资金增持2893.26万股民生银行（01988.HK）。近5个交易日中，...
忻州银行贷款可行性研究报告
忻州银行贷款可行性研究报告 硕鑫咨询 【忻州银行贷款可行性研究报告编制单位】西安硕鑫项目管理咨询有限...
瑞银拟向部分私人银行客户提供加...
据报道，瑞银计划向部分私人银行客户提供加密货币投资选项，目前正选择合作伙伴。
市场押注贝莱德高管里德尔为美联...
预测市场的交易者押注，贝莱德高管瑞克·里德尔（Rick Rieder）成为美联储下一任领导人的几率大...
巴克莱：将欧莱雅目标价上调至4...
巴克莱银行将欧莱雅目标价从325欧元上调至435欧元。
人民币汇率中间价调升90基点创...
1月23日，中国人民银行授权中国外汇交易中心公布，当日银行间外汇市场人民币汇率中间价为1美元对人民币...
美元兑日元汇率跌破156日元，...
来源：滚动播报 美元兑日元汇率跌破156日元，最新报155.93日元，跌幅1.6%。
8000多英镑“躺”安检机旁无...
深圳商报·读创客户端记者 罗凯燕 通讯员 青成于蓝 春运将近，各大车站逐步进入客流高峰。深圳北站作为...
苏州贝亚特智能装备有限公司成立...
天眼查显示，近日，苏州贝亚特智能装备有限公司成立，法定代表人为龚健，注册资本3000万人民币，由苏州...
赤峰黄金（06693.HK）：...
证券之星消息，1月23日南向资金减持6.14万股赤峰黄金（06693.HK）。近5个交易日中，获南向...