SMT Formulas for Boolean Programs from SLAM
收藏NIAID Data Ecosystem2026-03-11 收录
下载链接：
https://zenodo.org/record/3718983
下载链接
链接失效反馈官方服务：
资源简介：
This archive contains SMT formulas for boolean programs that were generated with the software verifier SLAM.
The archive was contributed to the SV-Benchmarks repository (when it was still hosted as SVN repository) by Nikolaj Bjorner on Nov. 21, 2012. [https://github.com/sosy-lab/sv-benchmarks/commit/9a1394fe44b97c1fe8eeaea831a3627e34eb1c11]
It is not contained directly in the Git repository at https://github.com/sosy-lab/sv-benchmarks/ because GitHub does not support files larger than 200 MB.
创建时间：
2020-03-20
