加州大学河滨分校 发布 FormalSpecCpp 数据集, 应用在 形式化验证、软件开发 领域

加州大学河滨分校 本次发布的数据集 FormalSpecCpp, FormalSpecCpp是一个旨在填补C++程序形式化规范标准化基准空白的数据集。该数据集是首个包含良好定义的前置条件和后置条件的C++程序综合集。它为评估规范推导工具提供了一个结构化的基准，并可以用于调整大型语言模型以自动生成规范。该数据集由Dafny-synthesis基准转换而来，通过OpenAI的GPT-4-turbo模型系统地翻译成C++，确保生成的代码保持其形式化规范。该数据集可用于程序验证、规范推导和AI辅助软件开发等领域的研究。

查看FormalSpecCpp

README 内容： 

关于 加州大学河滨分校 , 加州大学河滨分校是美国加利福尼亚大学系统中的一所公立研究型大学，位于加利福尼亚州的河滨市，提供各种本科及研究生课程，是该地区重要的教育和研究机构。

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。