发布文献求助

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

计算机科学 程序设计语言 形式化方法 形式验证 程序设计语言规范 形式语言 正式规范 软件工程 规范语言 程序设计范式 程序设计域 归纳程序设计
作者
Lezhi Ma,Shangqing Liu,Yi Li,Xiaofei Xie,Lei Bu
标识
DOI：10.1109/icse55347.2025.00129
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
刚刚
123完成签到，获得积分10
刚刚
dl完成签到，获得积分10
1秒前
1秒前
初景发布了新的文献求助10
1秒前
简.....完成签到，获得积分10
1秒前
1秒前
阿伟完成签到，获得积分10
1秒前
郢儿的应助被我来何忧采纳，获得10
1秒前
1秒前
樊书雪发布了新的文献求助10
3秒前
路先生发布了新的文献求助10
3秒前
3秒前
3秒前
sawatuen的应助被氢氧化采纳，获得10
3秒前
认真的裤子完成签到，获得积分10
3秒前
SciGPT的应助被lllyyy采纳，获得10
3秒前
4秒前
玺之烊完成签到，获得积分10
4秒前
西南林彭于晏完成签到，获得积分10
5秒前
XY完成签到，获得积分10
5秒前
5秒前
5秒前
123456789发布了新的文献求助10
5秒前
七七发布了新的文献求助10
5秒前
6秒前
猹aa完成签到，获得积分10
6秒前
xhp完成签到，获得积分20
6秒前
6秒前
魔真人发布了新的文献求助10
6秒前
7秒前
7秒前
天气冷完成签到，获得积分10
7秒前
Hello的应助被无情翅膀采纳，获得10
7秒前
8秒前
cheery发布了新的文献求助10
8秒前
8秒前
9秒前
李小莉0419发布了新的文献求助10
9秒前
lalala发布了新的文献求助10
9秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Rosenblum, Global Change Biology 800
Essentials of Carbohydrate Chemistry and Biochemistry, 4th Edition 800
Organizational Behavior 510
Management and the Arts 510
Matrix Methods in Data Mining and Pattern Recognition Second Edition 510
CLSI VET01S-2024 Performance Standards for Antimicrobial Disk and Dilution Susceptibility Tests for Bacteria Isolated From Animals (7th Ed) 500
热门求助领域 （近24小时）
化学 材料科学 医学 生物 纳米技术 计算机科学 化学工程 工程类 有机化学 物理 复合材料 生物化学 内科学 细胞生物学 基因 遗传学 免疫学 冶金 光电子学 癌症研究
热门帖子
关注 科研通微信公众号，转发送积分 7774950
求助须知：如何正确求助？哪些是违规求助？ 9316946
关于积分的说明 20354020
捐赠科研通 7361312
什么是DOI，文献DOI怎么找？ 3317895
关于科研通互助平台的介绍 2466098
邀请新用户注册赠送积分活动 2333177
Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 帮助中心 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通