Supplementary Documents for "Specifying and Verifying Future Conditions"
收藏官方服务：
资源简介：
The files in this folder are for the submission to SAS25 #18 paper. It contains three subfolders: (1) Proofs (2) Code (3) Benchmark Within each of (1) and (2), there is another readme file, guiding how to build the Coq proofs and run the verification tool. Within (3) there are six more subfolders, corresponding to the experimental results presented in Table 2.
提供机构：
Zenodo创建时间：
2025-05-09
