Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking"
收藏NIAID Data Ecosystem2026-03-11 收录
下载链接：
https://zenodo.org/record/1252784
下载链接
链接失效反馈官方服务：
资源简介：
Supplementary material for the paper "Efficient Strategies for CEGAR-based Model Checking" by Akos Hajdu and Zoltan Micskei. The material includes a detailed report (report.html) and all artifacts to replicate our measurements and analysis (artifact.tar.gz).
Version 1.2.0 corresponds to the final, published paper. This version (1.2.1) is a minor update that added two new plots.
创建时间：
2020-06-15
