LOOPINV100
收藏官方服务：
资源简介：
Curated dataset with 100 programs in Dafny, each containing one or more loops and corresponding loop invariants. Prepared for exploring automatic loop invariant generation with large language models.
提供机构：
Zenodo创建时间：
2024-05-20
