Artifact for "Are My Invariants Valid? A Learning Approach"
收藏Zenodo2020-07-29 更新2026-05-25 收录
下载链接：
https://zenodo.org/record/2574190
下载链接
链接失效反馈官方服务：
资源简介：
This is the preliminary artifact for our paper on learning to judge the validity of invariants (specifically, method pre- and post-conditions), including data, code and output logs. Please see the README for details on the contents and how to run the code.
提供机构：
Zenodo创建时间：
2019-02-21
