Dataset for "Exploring the Verifiability of Code Generated by GitHub Copilot"

Name: Dataset for "Exploring the Verifiability of Code Generated by GitHub Copilot"
Published: 2022-09-01T00:00:00+08:00

数据链接：

官方服务：

资源简介：

Collection of Python implementations and translations to Dafny with verification attempts.

创建时间：

2022-09-01