代码2发票 swMATH ID: 41066 软件作者： 司旭杰；阿迪提亚·奈克（Aaditya Naik）；戴、韩军；Mayur Naik；宋乐 描述： Code2Inv：用于程序验证的深度学习框架。我们提出了一个通用的端到端深度学习框架Code2Inv，它以验证任务和验证检查器为输入，通过与给定检查器的交互自动学习验证任务的有效证据。Code2Inv使用嵌入模块和语法进行参数化：前者将验证任务编码为数字向量，而后者描述Code2Inv应生成的解决方案的格式。我们通过两个小规模但富有表现力的实例来演示Code2Inv的灵活性：一个用于C程序的循环不变量合成器和一个约束Horn子句（CHC）解算器 主页： https://link.springer.com/chapter/10.1007%2F978-3-030-53291-8_9 相关软件： CLN2投资;z3（零3）;停机坪;CVC4SY公司;垫片;胡迪尼;CVC4型;Daikon公司;CIL公司;SeaHorn公司 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Code2Inv：用于程序验证的深度学习框架。 Zbl 1478.68177号司旭杰;亚迪提亚·奈克;戴、韩军;马约·奈克;宋乐 2020 全部的 前5名8位作者引用 1 艾哈迈德·博阿贾尼 1 韦尔·阿明（Wael-Amine）Boutglay 1 戴、韩军 1 彼得·哈贝梅尔 1 亚迪提亚·奈克 1 马约·奈克 1 司旭杰 1 宋乐 引用于0连载 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文