支付宝申请推断循环界限方法和设备专利，实现循环界限推断自动化
创始人
2025-07-02 14:18:15
0次
金融界2025年7月2日消息，国家知识产权局信息显示，支付宝（杭州）信息技术有限公司申请一项名为“推断循环界限的方法和设备”的专利，公开号CN120234228A，申请日期为2025年03月。
专利摘要显示，本说明书提供的推断循环界限的方法和设备，获得包括循环单元的目标代码，并利用有界模型检验工具按照预设的第一展开次数对循环单元进行展开检验，以确定循环单元在第一展开次数下是否能够完全展开。在不能完全展开的情况下，获得有界模型检验工具生成的反例，并将第一展开次数和反例提供给大模型，以通过大模型自动推断出循环单元的循环界限，其中的反例表征从目标代码的执行入口到循环单元之间的执行路径，从而实现了循环界限推断的自动化，减少了对人工干预的需求。而且，利用反例来指导大模型推断循环界限，大模型可以从反例中提取很多关键信息，因此能够提升推断循环界限的准确性。
天眼查资料显示，支付宝（杭州）信息技术有限公司，成立于2016年，位于杭州市，是一家以从事互联网和相关服务为主的企业。企业注册资本10000万人民币。通过天眼查大数据分析，支付宝（杭州）信息技术有限公司共对外投资了12家企业，参与招投标项目47次，财产线索方面有商标信息1条，专利信息5000条，此外企业还拥有行政许可58个。
来源：金融界
相关内容
热门资讯
广州有望实施“商转公贷款”
为充分发挥住房公积金制度支持保障作用，减轻缴存人住房贷款利息负担，促进社会消费，7月2日，广州住房公...
特朗普：越南将对美出口实施零关...
特朗普在社交媒体谈与越南达成的贸易协议：越南将为对美出口支付20%的关税；越南将向美国支付40%的转...
意媒：那不勒斯不想为努涅斯支付...
直播吧7月3日讯 据《Il Mattino》报道，那不勒斯不会为努涅斯报价超过4500万欧。 努涅斯...
威海银行：深化政银协同 为人才...
近日，“威海企业家日”主题活动举行，并召开国家产融合作试点城市建设推进会暨“企业家专享卡”发布仪式，...
天津翰序科技有限公司成立，注册...
天眼查App显示，近日，天津翰序科技有限公司成立，法定代表人为孙蕊，注册资本200万人民币，由天津如...
金价高位震荡引多空分歧：花旗预...
在上半年金价创纪录狂飙，累计暴涨25.7%后，国际金价近期陷入显著震荡。6月30日，现货黄金一度跌破...
港股异动丨黄金股继续强势 紫金...
港股黄金股继续上涨行情， 紫金矿业涨超4%创历史新高，潼关黄金、中国 白银集团涨超2%， 中国黄金国...
黄金ETF基金(159937)...
截至2025年7月3日 10:18，黄金ETF基金(159937)上涨0.42%，最新价报7.41元...
中行企业银行鸿蒙版上架：4个月...
近日，中行企业银行鸿蒙版正式发布，成为国有大行中首批完成全业务功能鸿蒙化适配的对公金融平台。依托鸿蒙...
抹平跌幅即将翻红？年收益近25...
7月3日，银行板块调整。截至9时59分，唯一跨AH两市的银行AH优选ETF(517900)跌0.06...