SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

已关闭

文献求助详情

标题	SpecGen: Automated Generation of Formal Program Specifications via Large Language Models 相关领域计算机科学程序设计语言形式化方法形式验证程序设计语言规范形式语言正式规范软件工程规范语言程序设计范式程序设计域归纳程序设计
网址	https://doi.org/10.1109/icse55347.2025.00129
DOI	10.1109/icse55347.2025.00129 doi
其它	期刊：作者：Lezhi Ma; Shangqing Liu; Yi Li; Xiaofei Xie; Lei Bu 出版日期：2025-04-26
求助人	Nothing1024 在 2026-01-05 18:53:37 发布自天津，悬赏 10 积分
下载
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

提交工单

求助 / 应助时间线

21天前，求助关闭

Nothing1024 Lv71 求助人关闭了本次求助。

说明找到了【积分已退回】
21天前

Nothing1024 Lv71 求助人发起了本次求助

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒每天60秒读懂世界·精选全球要闻 (2026-1-2)

更新

2025年影响因子查询已上线 (2025-6-18)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 辛勤的大雁发布了新的文献求助10

刚刚; ffl完成签到，获得积分10

刚刚; 852上传了应助文件

1秒前; 无花果的应助被dasddaf采纳，获得10

1秒前; 深情安青上传了应助文件

1秒前; 科研小子发布了新的文献求助10

2秒前; FashionBoy上传了应助文件

2秒前; 我艾吃饭发布了新的文献求助10

2秒前; 最佳损友完成签到，获得积分0

2秒前; yz发布了新的文献求助10

2秒前; 科研通AI6的应助被读书的时候采纳，获得10

3秒前; mm的应助被灵巧幻嫣采纳，获得10

3秒前; orixero的应助被kktsy采纳，获得10

3秒前; 上官若男的应助被灵巧幻嫣采纳，获得10

3秒前; yuanqi完成签到，获得积分10

4秒前; 烂漫奇异果发布了新的文献求助10

4秒前; Lutte001完成签到，获得积分10

4秒前; 量子星尘发布了新的文献求助10

5秒前; 孤独衣发布了新的文献求助10

5秒前; Akim的应助被龍龖龘采纳，获得10

5秒前; 旋转鸡爪子上传了应助文件

6秒前; BowieHuang上传了应助文件

6秒前; 爱听歌的复天的应助被阿里院士采纳，获得10

6秒前; 上官若男上传了应助文件

6秒前; hdmjsls发布了新的文献求助10

6秒前; 呱嚓发布了新的文献求助10

6秒前; 南风南下发布了新的文献求助10

7秒前; 子车茗上传了应助文件

7秒前; bulibuli完成签到，获得积分10

8秒前; 英俊的铭的应助被独特代桃采纳，获得10

8秒前; 华仔上传了应助文件

8秒前; 苻谷丝发布了新的文献求助10

9秒前; 甜蜜的曼冬完成签到，获得积分10

10秒前; zhdreamice完成签到，获得积分10

10秒前; orixero上传了应助文件

10秒前; JSDYCH完成签到，获得积分10

10秒前; Jennifer发布了新的文献求助10

10秒前; 十秒钟定律完成签到，获得积分10

11秒前; 采集水波完成签到，获得积分10

11秒前; yhz123上传了应助文件

12秒前