Artifact for "Verifying the Option Type with Rely-Guarantee Reasoning"

This archive contains data and scripts accompanying the paper "Verifying the Option Type with Rely-Guarantee Reasoning" Steps to Use Download the .zip file (optional-paper-data.zip). Unzip the file, and read the included README.md file.本归档文件包含与论文《基于依赖-保证推理（Rely-Guarantee Reasoning）验证选项类型》配套的数据与脚本。 使用步骤 下载该.zip压缩文件（文件名为paper-data.zip，可按需获取）。 解压该文件后，阅读其中包含的README.md文档。