Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/5140575
下载链接
链接失效反馈官方服务：
资源简介：
This is a replication package for the paper "Symbolic Automatic Relations and Their Applications to SMT and CHC Solving," published in the proceedings of the 28th Static Analysis Symposium (SAS 2021).
This package contains all the tools discussed in the paper, and all the benchmarks the evaluation was conducted on, along with README.md and benchmark scripts.
创建时间：
2021-08-02
